From f41c37d7be16f7845795bae95e1356ca1f7a2fd6 Mon Sep 17 00:00:00 2001 From: Michael Forney Date: Sat, 18 May 2019 17:10:50 -0700 Subject: decl: Give a better error message when a VLA is used --- decl.c | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) (limited to 'decl.c') diff --git a/decl.c b/decl.c index 7047dda..81130f3 100644 --- a/decl.c +++ b/decl.c @@ -450,6 +450,7 @@ declaratortypes(struct scope *s, struct list *result, char **name, bool allowabs struct list *ptr; struct type *t; struct param **p; + struct expr *e; uint64_t i; enum typequal tq; @@ -547,7 +548,13 @@ declaratortypes(struct scope *s, struct list *result, char **name, bool allowabs i = 0; next(); } else { - i = intconstexpr(s, false); + e = constexpr(s); + if (e->kind != EXPRCONST || !(e->type->prop & PROPINT)) + error(&tok.loc, "VLAs are not yet supported"); + i = e->constant.i; + if (i == 0 || e->type->basic.issigned && i > INT64_MAX) + error(&tok.loc, "array length must be positive"); + delexpr(e); expect(TRBRACK, "after array length"); } t = mkarraytype(NULL, tq, i); -- cgit v1.2.3