cproc

Unnamed repository; edit this file 'description' to name the repository.
git clone git://git.nihaljere.xyz/cproc
Log | Files | Refs | Submodules | README | LICENSE

commit f41c37d7be16f7845795bae95e1356ca1f7a2fd6
parent f85d145c403fb267884f7fd4f762598bd30cc1b4
Author: Michael Forney <mforney@mforney.org>
Date:   Sat, 18 May 2019 17:10:50 -0700

decl: Give a better error message when a VLA is used

Diffstat:
Mdecl.c | 9++++++++-
1 file changed, 8 insertions(+), 1 deletion(-)

diff --git 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);