Update plugin

Reviewed By: ddino

Differential Revision: D9766267

fbshipit-source-id: e726ece1a

facebook-clang-plugins

@@ -1 +1 @@
-Subproject commit 858e754e7dcc148637dfae8e42d041c238b8bc9b
+Subproject commit 5d096bba8b95f8523608dad8b88d3154c85bb4b4

infer/tests/codetoanalyze/cpp/liveness/issues.exp

@@ -21,3 +21,4 @@ codetoanalyze/cpp/liveness/dead_stores.cpp, dead_stores::use_then_dead_bad, 3, D
 codetoanalyze/cpp/liveness/dead_stores_constexpr.cpp, capture_const_bad, 1, DEAD_STORE, no_bucket, ERROR, [Write of unused value]
 codetoanalyze/cpp/liveness/non_type_template_param.cpp, X<3>_isZeroBad, 1, DEAD_STORE, no_bucket, ERROR, [Write of unused value]
 codetoanalyze/cpp/liveness/non_type_template_param.cpp, instanciateTemplateBad, 3, DEAD_STORE, no_bucket, ERROR, [Write of unused value]
+codetoanalyze/cpp/liveness/non_type_template_param.cpp, instanciateTemplateConstOk_FP, 1, DEAD_STORE, no_bucket, ERROR, [Write of unused value]

infer/tests/codetoanalyze/cpp/liveness/non_type_template_param.cpp

@@ -21,8 +21,14 @@ int instanciateTemplateBad() {
   return 0;
 }
 
-void instanciateTemplateConstOk() {
+void instanciateTemplateConstOk_FP() {
   const int foo = 7;
   X<foo> x;
   x.isZeroBad();
 }
+
+void instanciateTemplateConstExprOk() {
+  constexpr int foo = 7;
+  X<foo> x;
+  x.isZeroBad();
+}