Teach Expr::isConstantExpr() about CompoundLiterals.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@45764 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/AST/Expr.cpp b/AST/Expr.cpp
index 236c7839220abae672b2c4bf1c8741970816e13f..726e4939cc7ec6779f707f591569d0001883a3e4 100644 (file)
--- a/AST/Expr.cpp
+++ b/AST/Expr.cpp
@@ -469,6 +469,10 @@ bool Expr::isConstantExpr(ASTContext &Ctx, SourceLocation *Loc) const {
       return TR->isArrayType();
     return false;
   }
+  case CompoundLiteralExprClass:
+    if (Loc) *Loc = getLocStart();
+    // Allow "(int []){2,4}", since the array will be converted to a pointer.
+    return TR->isArrayType();
   case UnaryOperatorClass: {
     const UnaryOperator *Exp = cast<UnaryOperator>(this);
     

diff --git a/test/Sema/compound-literal.c b/test/Sema/compound-literal.c
index f57159ac6afc7303b1a07e7a13dd984eeaadc6d6..2c9595c50e46630364d538e73d1b616f6a8ea78e 100644 (file)
--- a/test/Sema/compound-literal.c
+++ b/test/Sema/compound-literal.c
@@ -2,9 +2,16 @@
 
 struct foo { int a, b; };
 
+static struct foo t = (struct foo){0,0}; // -expected-error {{initializer element is not constant}}
+static struct foo t2 = {0,0}; 
+static struct foo t3 = t2; // -expected-error {{initializer element is not constant}}
+static int *p = (int []){2,4}; 
+static int x = (int){1}; // -expected-error {{initializer element is not constant}} -expected-warning{{braces around scalar initializer}}
+
 extern void fooFunc(struct foo *pfoo);
 
 int main(int argc, char **argv) {
  fooFunc(&(struct foo){ 1, 2 });
 }
 
+