This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: Bug 16115, C++ invisible references


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~


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]