[cfe-dev] Better type-specifier representation

Argiris Kirtzidis akyrtzi at gmail.com
Fri Sep 12 16:44:43 PDT 2008

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"

More information about the cfe-dev mailing list