[cfe-dev] Better type-specifier representation

[Ted Kremenek]

On Sep 12, 2008, at 5:04 PM, Ted Kremenek wrote:

>> 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"
>>
>
> Huh.  Does gcc treat 'y' and as a VLA or as a constant-sized array?  I
> guess gcc's constant folding built into the frontend would make that a
> constant-sized array.

I guess this isn't (strictly-speaking) a VLA since this is example is C 
++ code.

Nevertheless, should we treat these as VLAs in the ASTs?