From 37a186d76568fa1b5a6fc6a79f653f2067cc9ca9 Mon Sep 17 00:00:00 2001 From: Eli Friedman Date: Tue, 20 May 2008 05:22:08 +0000 Subject: Add some more checking for compound literals. llvm-svn: 51300 --- clang/lib/Sema/SemaExpr.cpp | 15 ++++++++++++++- 1 file changed, 14 insertions(+), 1 deletion(-) (limited to 'clang/lib/Sema/SemaExpr.cpp') diff --git a/clang/lib/Sema/SemaExpr.cpp b/clang/lib/Sema/SemaExpr.cpp index e5ac14e092c..e85ad03694a 100644 --- a/clang/lib/Sema/SemaExpr.cpp +++ b/clang/lib/Sema/SemaExpr.cpp @@ -738,7 +738,20 @@ ActOnCompoundLiteral(SourceLocation LParenLoc, TypeTy *Ty, //assert((InitExpr != 0) && "ActOnCompoundLiteral(): missing expression"); Expr *literalExpr = static_cast(InitExpr); - // FIXME: add more semantic analysis (C99 6.5.2.5). + if (literalType->isArrayType()) { + if (literalType->getAsVariableArrayType()) + return Diag(LParenLoc, + diag::err_variable_object_no_init, + SourceRange(LParenLoc, + literalExpr->getSourceRange().getEnd())); + } else if (literalType->isIncompleteType()) { + return Diag(LParenLoc, + diag::err_typecheck_decl_incomplete_type, + literalType.getAsString(), + SourceRange(LParenLoc, + literalExpr->getSourceRange().getEnd())); + } + if (CheckInitializerTypes(literalExpr, literalType)) return true; -- cgit v1.2.3