[9front] Re: [9front] [PATCH] cc: support type qualifiers inside array brackets.

[mia soweli <inbox@tachibana-labs.org>]

allows c99 array declarations with type qualifiers inside the brackets.
for example:

	int list[const 5];
	int list[const restrict 5];
	int list[volatile 5];
	int list[static 5];

i read the standard more closely, the static seems to be an optimization thing that means the array has *at least* however many members, and we should ignore it instead of treating it like static outside the brackets.

diff 090af6255bebf0129c891116b53b31808fe49dc7 uncommitted
--- a/sys/src/cmd/cc/cc.y
+++ b/sys/src/cmd/cc/cc.y
@@ -27,8 +27,8 @@
	vlong	vval;
}
%type	<sym>	ltag
-%type	<lval>	gctname gcname cname gname tname
-%type	<lval>	gctnlist gcnlist zgnlist
+%type	<lval>	gctname gcname cname gname tname aname
+%type	<lval>	gctnlist gcnlist zgnlist zanlist
%type	<type>	tlist sbody complex
%type	<tycl>	types
%type	<node>	zarglist arglist zcexpr
@@ -142,9 +142,11 @@
	{
		$$ = new(OFUNC, $1, $3);
	}
-|	xdecor2 '[' zexpr ']'
+|	xdecor2 '[' zanlist zexpr ']'
	{
-		$$ = new(OARRAY, $1, $3);
+		$$ = new(OARRAY, $1, $4);
+		$$->garb = simpleg($3);
	}

/*
@@ -273,9 +275,11 @@
	{
		$$ = new(OFUNC, $1, $3);
	}
-|	abdecor2 '[' zexpr ']'
+|	abdecor2 '[' zanlist zexpr ']'
	{
-		$$ = new(OARRAY, $1, $3);
+		$$ = new(OARRAY, $1, $4);
+		$$->garb = simpleg($3);
	}

abdecor3:
@@ -283,9 +287,11 @@
	{
		$$ = new(OFUNC, (Z), Z);
	}
-|	'[' zexpr ']'
+|	'[' zanlist zexpr ']'
	{
-		$$ = new(OARRAY, (Z), $2);
+		$$ = new(OARRAY, (Z), $3);
+		$$->garb = simpleg($2);
	}
|	'(' abdecor1 ')'
	{
@@ -1099,6 +1105,15 @@
		$$ = typebitor($1, $2);
	}

+zanlist:
+	{
+		$$ = 0;
+	}
+|	zanlist aname
+	{
+		$$ = typebitor($1, $2);
+	}
+
gctname:
	tname
|	gname
@@ -1152,6 +1167,12 @@
|	LVOLATILE { $$ = BVOLATILE; }
|	LRESTRICT { $$ = 0; }
|	LNORET { $$ = BNORET; }
+
+aname:	/* words allowed in an array declaration */
+	LCONSTNT { $$ = BCONSTNT; }
+|	LVOLATILE { $$ = BVOLATILE; }
+|	LRESTRICT { $$ = 0; }
+|	LSTATIC { $$ = BSTATIC; }

name:
	LNAME