From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 26079 invoked by alias); 7 Jul 2004 20:51:55 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 26068 invoked from network); 7 Jul 2004 20:51:54 -0000 Received: from unknown (HELO mx2.redhat.com) (66.187.237.31) by sourceware.org with SMTP; 7 Jul 2004 20:51:54 -0000 Received: from int-mx2.corp.redhat.com (int-mx2.corp.redhat.com [172.16.27.26]) by mx2.redhat.com (8.12.10/8.12.10) with ESMTP id i67KmKSt031514; Wed, 7 Jul 2004 16:48:20 -0400 Received: from potter.sfbay.redhat.com (potter.sfbay.redhat.com [172.16.27.15]) by int-mx2.corp.redhat.com (8.11.6/8.11.6) with ESMTP id i67Kprw17455; Wed, 7 Jul 2004 16:51:53 -0400 Received: from frothingslosh.sfbay.redhat.com (frothingslosh.sfbay.redhat.com [172.16.24.27]) by potter.sfbay.redhat.com (8.11.6/8.11.6) with ESMTP id i67KpqP09781; Wed, 7 Jul 2004 13:51:52 -0700 Received: from frothingslosh.sfbay.redhat.com (localhost.localdomain [127.0.0.1]) by frothingslosh.sfbay.redhat.com (8.12.10/8.12.10) with ESMTP id i67KpqQw008725; Wed, 7 Jul 2004 13:51:52 -0700 Received: (from rth@localhost) by frothingslosh.sfbay.redhat.com (8.12.10/8.12.10/Submit) id i67Kpq6m008723; Wed, 7 Jul 2004 13:51:52 -0700 X-Authentication-Warning: frothingslosh.sfbay.redhat.com: rth set sender to rth@redhat.com using -f Date: Wed, 07 Jul 2004 21:16:00 -0000 From: Richard Henderson To: Mark Mitchell Cc: Jason Merrill , gcc-patches@gcc.gnu.org Subject: Re: Bug 16115, C++ invisible references Message-ID: <20040707205152.GA8653@redhat.com> Mail-Followup-To: Richard Henderson , Mark Mitchell , Jason Merrill , gcc-patches@gcc.gnu.org References: <200407060723.i667NhMd023945@sirius.codesourcery.com> <40EB28A1.8060305@codesourcery.com> <40EC3B25.3020404@codesourcery.com> <20040707191256.GB8214@redhat.com> <40EC5342.7070201@codesourcery.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <40EC5342.7070201@codesourcery.com> User-Agent: Mutt/1.4.1i X-SW-Source: 2004-07/txt/msg00664.txt.bz2 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~