From: Enea Zaffanella Date: Mon, 22 Jul 2013 19:10:20 +0000 (+0000) Subject: Fixed implementation of C89 6.5.7 p3. X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=8202630a58e5aa7f5630b44266e4460fa7021ac1;p=clang Fixed implementation of C89 6.5.7 p3. Warning should be emitted only for InitListExpr nodes. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@186859 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/lib/Sema/SemaDecl.cpp b/lib/Sema/SemaDecl.cpp index 840a735e1b..8b7c472333 100644 --- a/lib/Sema/SemaDecl.cpp +++ b/lib/Sema/SemaDecl.cpp @@ -7785,6 +7785,7 @@ void Sema::AddInitializerToDecl(Decl *RealDecl, Expr *Init, // for an object that has aggregate or union type shall be // constant expressions. else if (!getLangOpts().C99 && VDecl->getType()->isAggregateType() && + isa(Init) && !Init->isConstantInitializer(Context, false)) Diag(Init->getExprLoc(), diag::ext_aggregate_init_not_constant) diff --git a/test/Sema/c89.c b/test/Sema/c89.c index 557acf6d62..2ab00b6ff0 100644 --- a/test/Sema/c89.c +++ b/test/Sema/c89.c @@ -116,7 +116,12 @@ long long ll1 = /* expected-warning {{'long long' is an extension when C99 mode unsigned long long ull1 = /* expected-warning {{'long long' is an extension when C99 mode is not enabled}} */ 42ULL; /* expected-warning {{'long long' is an extension when C99 mode is not enabled}} */ +struct Test17 { int a; }; +struct Test17 test17_aux(void); + void test17(int v, int w) { int a[2] = { v, w }; /* expected-warning {{initializer for aggregate is not a compile-time constant}} */ + struct Test17 t0 = { v }; /* expected-warning {{initializer for aggregate is not a compile-time constant}} */ + struct Test17 t1 = test17_aux(); /* this is allowed */ }