From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 11255 invoked by alias); 18 Nov 2003 17:44:27 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Received: (qmail 11235 invoked by uid 48); 18 Nov 2003 17:44:26 -0000 Date: Tue, 18 Nov 2003 17:44:00 -0000 Message-ID: <20031118174426.11234.qmail@sources.redhat.com> From: "giovannibajo at libero dot it" To: gcc-bugs@gcc.gnu.org In-Reply-To: <20031117223716.13092.giovannibajo@libero.it> References: <20031117223716.13092.giovannibajo@libero.it> Reply-To: gcc-bugzilla@gcc.gnu.org Subject: [Bug c++/13092] [3.4 regression] Segfault in convert_nontype_argument X-Bugzilla-Reason: CC X-SW-Source: 2003-11/txt/msg01661.txt.bz2 List-Id: ------- Additional Comments From giovannibajo at libero dot it 2003-11-18 17:44 ------- (In reply to comment #4) > I think we should preserve the SCOPE_REF because correct > access checking of members in class hierarchy requires this. > My idea would be putting the type information into it when > it's not a dependent name. But since the whole expression "&S::i" is non-dependent, we could/should perform access checking at parsing time (following the two-stage lookup rules) and construct an OFFSET_REF directly, just like we do outside a template. Where am I wrong? -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13092