~mcf/cproc: decl: Relax restrictions for 0-length array member

e64d53164e373a695bfe4b5cd8eb052a0071c42d — Michael Forney 1 year, 9 months ago 8f9714c

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.

patch browse .tar.gz

1 files changed, 5 insertions(+), 6 deletions(-)

M decl.c

M decl.c => decl.c +5 -6

@@ 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: