Bug 16115, C++ invisible references
Richard Henderson
rth@redhat.com
Wed Jul 7 21:16:00 GMT 2004
On Wed, Jul 07, 2004 at 12:47:14PM -0700, Mark Mitchell wrote:
> What do you mean by "semantics"?
I did mean the "what does it mean to execute this" type of semantics
as opposed to the "is this a valid program" type of semantics.
> Certainly, unlowered EDG IL is semantic, in the sense that it would be
> easy to execute.
Well then, they've certainly done something different with their
scopes than we have. I'm guessing statement-like things that
push/pop the scope? More or less what we had with SCOPE_STMT?
That's all well and good, but GENERIC doesn't work that way. It
wants strictly nested constructs. I think any attempt to mix a
strictly-nested style with one that is not strictly nested
(as with C++ {IF,WHILE,FOR,SWITCH}_STMT), will result in Ugly Warts.
r~
More information about the Gcc-patches
mailing list