From e64d53164e373a695bfe4b5cd8eb052a0071c42d Mon Sep 17 00:00:00 2001
From: Michael Forney <mforney@mforney.org>
Date: Mon, 6 Sep 2021 17:11:29 -0700
Subject: decl: Relax restrictions for 0-length array member

Zero-length array members are quite common in linux UAPI headers,
where they don't follow the restrictions of flexible array members.
Since they are non-standard, relax the error checking for them,
rather than considering them the same as a flexible array member.
---
 decl.c | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/decl.c b/decl.c
index de129d5..a0e68b0 100644
--- a/decl.c
+++ b/decl.c
@@ -559,10 +559,8 @@ declaratortypes(struct scope *s, struct list *result, char **name, bool allowabs
 				;
 			if (tok.kind == TMUL)
 				error(&tok.loc, "VLAs are not yet supported");
-			if (tok.kind == TRBRACK) {
-				i = 0;
-				next();
-			} else {
+			t = mkarraytype(NULL, tq, 0);
+			if (tok.kind != TRBRACK) {
 				e = eval(assignexpr(s), EVALARITH);
 				if (e->kind != EXPRCONST || !(e->type->prop & PROPINT))
 					error(&tok.loc, "VLAs are not yet supported");
@@ -570,9 +568,10 @@ declaratortypes(struct scope *s, struct list *result, char **name, bool allowabs
 				if (e->type->basic.issigned && i > INT64_MAX)
 					error(&tok.loc, "array length must be non-negative");
 				delexpr(e);
-				expect(TRBRACK, "after array length");
+				t->array.length = i;
+				t->incomplete = false;
 			}
-			t = mkarraytype(NULL, tq, i);
+			expect(TRBRACK, "after array length");
 			listinsert(ptr->prev, &t->link);
 			break;
 		default:
-- 
cgit v1.2.3