[patch] fix wrong gimple code with ptr to forward vla

Richard Kenner kenner@vlsi1.ultra.nyu.edu
Mon Sep 4 18:29:00 GMT 2006


> I think I understand why the heuristic works, in practice.  It's based 
> on Richard's explanation, which assumes an Ada-like language in which 
> types are elaborated at a well-defined point.  

I don't follow that comment.  It would seem to me that in *any*
language where you have a definition of a type that involves
variables, you have a be able to specify which value of the variable
is used, meaning that you have to elaborate the type at a well-defined
point.  And if the type's definition doesn't involve variables, then
unless you're being pedantic, it really doesn't matter too much when
it's elaborated so long as it's before its first use.  I don't see
a difference in "C-like" and "Ada-like" languages here.



More information about the Gcc-patches mailing list