[cfe-dev] Better type-specifier representation

[Argiris Kirtzidis]

Ted Kremenek wrote:
>
> The one outstanding grossness that I can think of right now is VLAs.  
> How should we represent:
>
>   int x[foo()][bar()][...], y;
>
> Right now, the type for the VLA owns the expressions foo(), bar(), and 
> so on.  Both DeclGroups and TypeSpecifiers don't solve this problem (I 
> believe).
>

Is this restricted to VLAs ?
Doesn't this have the same issue ?:

const int x=10;
int y[x+1]; // type owning expression "x+1"