[9front] Re: [9front] [PATCH] cc: support const and restrict inside array declarations

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

in our c compilers, const, volatile, restrict, and noret fall under the same yacc rule "gname", so by allowing "zgnlist" in array brackets we would also end up allowing int a[noret 4].

it would need some changes to not allow this.

On 14 May 2023 09:10:23 BST, Michael Forney <mforney@mforney.org> wrote:
>On 2023-05-13, mia soweli <inbox@tachibana-labs.org> wrote:
>> this allows c23 style array declarations (see c23 draft section 6.7.6),
>> with type qualifiers inside the brackets.
>> for example:
>>
>> 	const int list[restrict 4];
>> 	int list[const 4];
>> 	int list[const restrict 4];
>> 	int list[volatile 4];
>> 	int list[noret 4]; /* we may not want to allow this */
>
>I have no idea what this is. Maybe you are thinking of noreturn? Even
>so, _Noreturn (what noreturn is defined as) is a function-specifier,
>not a type-qualifier, and is not allowed in the brackets of an array
>declarator in any C standard.
>
>>
>> they are ignored as with other uses of const, restrict, and volatile.
>> it does not allow
>>
>> 	int list[static 4];
>>
>> which is also allowed in c23.
>
>Just FYI, all of the above (except noret, which is nonsense) are valid
>in C99. I don't think any of this changed in C23.
>
>See http://port70.net/~nsz/c/c99/n1256.html#6.7.5.2