commit b301806c4b79ac03303516ad512306fe590947f2
author Richard Smith <richard-llvm@metafoo.co.uk> Tue Jun 06 01:34:24 2017 +0000
committer Richard Smith <richard-llvm@metafoo.co.uk> Tue Jun 06 01:34:24 2017 +0000
tree 47f026fffb76b77f34de517da0426fafad93f46b
parent 77d3e938f846a8c02b0d4db59840d10f9b4dca54

PR33318: Add missing full-expression checking to static_assert expression.

This fixes missing lambda-captures for variables referenced only inside a
static_assert (!), among other things.

llvm-svn: 304760

clang/lib/Sema/SemaDeclCXX.cpp

diff --git a/clang/lib/Sema/SemaDeclCXX.cpp b/clang/lib/Sema/SemaDeclCXX.cpp
index acacdc2..3e23063 100644
--- a/clang/lib/Sema/SemaDeclCXX.cpp
+++ b/clang/lib/Sema/SemaDeclCXX.cpp
@@ -13232,6 +13232,14 @@
     }
   }
 
+  ExprResult FullAssertExpr = ActOnFinishFullExpr(AssertExpr, StaticAssertLoc,
+                                                  /*DiscardedValue*/false,
+                                                  /*IsConstexpr*/true);
+  if (FullAssertExpr.isInvalid())
+    Failed = true;
+  else
+    AssertExpr = FullAssertExpr.get();
+
   Decl *Decl = StaticAssertDecl::Create(Context, CurContext, StaticAssertLoc,
                                         AssertExpr, AssertMessage, RParenLoc,
                                         Failed);