[cfe-dev] Better type-specifier representation
akyrtzi at gmail.com
Sat Sep 13 15:02:34 PDT 2008
Daniel Dunbar wrote:
> In my opinion, the owner of the expression should most certainly be the
> declaration. In fact, I'm not even sure it is correct for the size expression
> to be in the type, but I haven't taken the time to fully understand VLA
> rules and the interaction with what gcc accepts yet.
> I'm fairly certain that this issue is independent of the type specifier one,
Isn't the ownership issue similar to the RecordDecl ownership issue
that the proposed TypeSpecifier node solves ?
x = sizeof(int[y+10]); // who owns "y+10" ?
How about having the TypeSpecifier node own these expressions ?
sizeof(int[y+10]) -> sizeof(TypeSpecifier) -> TypeSpecifier owns "y+10"
More information about the cfe-dev