Array element cannot have incomplete or function type

1 files changed, 4 insertions, 0 deletions

diff --git a/decl.c b/decl.c
index 7bd2cbb..505f900 100644
--- a/decl.c
+++ b/decl.c
@@ -555,6 +555,10 @@ declarator(struct scope *s, struct type *base, char **name, bool allowabstract)
 				error(&tok.loc, "function declarator specifies array return type");
 			break;
 		case TYPEARRAY:
+			if (base->incomplete)
+				error(&tok.loc, "array element has incomplete type");
+			if (base->kind == TYPEFUNC)
+				error(&tok.loc, "array element has function type");
 			t->align = base->align;
 			t->size = base->size * t->array.length;  // XXX: overflow?
 			break;