From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 14701 invoked by alias); 16 Nov 2002 01:26:01 -0000 Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-prs-owner@gcc.gnu.org Received: (qmail 14680 invoked by uid 71); 16 Nov 2002 01:26:01 -0000 Resent-Date: 16 Nov 2002 01:26:01 -0000 Resent-Message-ID: <20021116012601.14679.qmail@sources.redhat.com> Resent-From: gcc-gnats@gcc.gnu.org (GNATS Filer) Resent-Cc: gcc-prs@gcc.gnu.org, gcc-bugs@gcc.gnu.org Resent-Reply-To: gcc-gnats@gcc.gnu.org, bangerth@ticam.utexas.edu Received: (qmail 13677 invoked by uid 61); 16 Nov 2002 01:20:40 -0000 Message-Id: <20021116012040.13676.qmail@sources.redhat.com> Date: Thu, 21 Nov 2002 18:41:00 -0000 From: bangerth@ticam.utexas.edu Reply-To: bangerth@ticam.utexas.edu To: gcc-gnats@gcc.gnu.org X-Send-Pr-Version: gnatsweb-2.9.3 (1.1.1.1.2.31) Subject: c++/8596: Base class template list not checked at point of declaration X-SW-Source: 2002-11/txt/msg00806.txt.bz2 List-Id: >Number: 8596 >Category: c++ >Synopsis: Base class template list not checked at point of declaration >Confidential: no >Severity: serious >Priority: medium >Responsible: unassigned >State: open >Class: accepts-illegal >Submitter-Id: net >Arrival-Date: Fri Nov 15 17:26:01 PST 2002 >Closed-Date: >Last-Modified: >Originator: Wolfgang Bangerth >Release: unknown-1.0 >Organization: >Environment: 3.3 CVS and 3.2.1 pre >Description: In playing with PR 3907, I found that this compiles: ------------------------------ template struct U {}; template struct C : U{}; ------------------------------ Is this supposed to work? I could not find anything in the standard, but I'm surprised it compiles cleanly. Of course I cannot instantiate C, since zs_zs_zs is not known. Further playing tells me that this has something to do with (the non-existence of)two-stage name lookup, since this compiles: -------------------------- template struct U {}; template struct C : U{}; const int zs_zs_zs = 3; C<1> c1; -------------------------- >How-To-Repeat: >Fix: >Release-Note: >Audit-Trail: >Unformatted: