InitListChecker::CheckListElementTypes(): Check for function types and issue an appropriate diagnostic.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@54614 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/include/clang/Basic/DiagnosticKinds.def b/include/clang/Basic/DiagnosticKinds.def
index 9552c33..a10ceaa 100644
--- a/include/clang/Basic/DiagnosticKinds.def
+++ b/include/clang/Basic/DiagnosticKinds.def
@@ -810,6 +810,8 @@
"scalar initializer cannot be empty")
DIAG(err_illegal_initializer, ERROR,
"illegal initializer (only variables can be initialized)")
+DIAG(err_illegal_initializer_type, ERROR,
+ "illegal initializer type ('%0')")
DIAG(err_implicit_empty_initializer, ERROR,
"initializer for aggregate with no elements requires explicit braces")
diff --git a/lib/Sema/SemaInit.cpp b/lib/Sema/SemaInit.cpp
index bc38de3..a2add34 100644
--- a/lib/Sema/SemaInit.cpp
+++ b/lib/Sema/SemaInit.cpp
@@ -139,10 +139,11 @@
CheckArrayType(IList, DeclType, Index);
else
assert(0 && "Aggregate that isn't a function or array?!");
- } else if (DeclType->isVoidType()) {
- // This is clearly invalid, so not much we can do here. Don't bother
- // with a diagnostic; we'll give an error elsewhere.
+ } else if (DeclType->isVoidType() || DeclType->isFunctionType()) {
+ // This type is invalid, issue a diagnostic.
Index++;
+ SemaRef->Diag(IList->getLocStart(), diag::err_illegal_initializer_type,
+ DeclType.getAsString());
hadError = true;
} else {
// In C, all types are either scalars or aggregates, but
diff --git a/test/Sema/compound-literal.c b/test/Sema/compound-literal.c
index 5f31ae6..1de0e0b 100644
--- a/test/Sema/compound-literal.c
+++ b/test/Sema/compound-literal.c
@@ -29,4 +29,5 @@
void IncompleteFunc(unsigned x) {
struct Incomplete* I2 = (struct foo[x]){1, 2, 3}; // -expected-error {{variable-sized object may not be initialized}}
(void){1,2,3}; // -expected-error {{variable has incomplete type}}
+ (void(void)) { 0 }; // -expected-error{{illegal initializer type ('void (void)')}}
}