This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch] fix wrong gimple code with ptr to forward vla
> 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.