From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 25613 invoked by alias); 14 May 2003 23:26:02 -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 25554 invoked by uid 71); 14 May 2003 23:26:01 -0000 Resent-Date: 14 May 2003 23:26:01 -0000 Resent-Message-ID: <20030514232601.25553.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, giovannibajo@libero.it Received: (qmail 20553 invoked by uid 48); 14 May 2003 23:24:00 -0000 Message-Id: <20030514232400.20550.qmail@sources.redhat.com> Date: Wed, 14 May 2003 23:26:00 -0000 From: giovannibajo@libero.it Reply-To: giovannibajo@libero.it To: gcc-gnats@gcc.gnu.org X-Send-Pr-Version: gnatsweb-2.9.3 (1.1.1.1.2.31) Subject: c++/10793: [3.4 regression] ICE (treecheck) when partial-specializing with an invalid type and a base class, in xref_basetypes, at cp/decl.c:12834 X-SW-Source: 2003-05/txt/msg01724.txt.bz2 List-Id: >Number: 10793 >Category: c++ >Synopsis: [3.4 regression] ICE (treecheck) when partial-specializing with an invalid type and a base class, in xref_basetypes, at cp/decl.c:12834 >Confidential: no >Severity: serious >Priority: medium >Responsible: unassigned >State: open >Class: ice-on-illegal-code >Submitter-Id: net >Arrival-Date: Wed May 14 23:26:00 UTC 2003 >Closed-Date: >Last-Modified: >Originator: Giovanni Bajo >Release: 3.4 CVS 20030503 >Organization: >Environment: i686-pc-cygwin >Description: This comes from Christian's analysys of c++/10722 (which is a fallout from c++/10661): ---------------------------------------------- template struct spec_object_traits {}; template struct pair {}; template struct spec_object_traits< pair > : spec_object_traits { }; ---------------------------------------------- gccbug6.cpp:4: error: `INVALID' has not been declared gccbug6.cpp:4: error: template argument 2 is invalid gccbug6.cpp:4: error: template argument 1 is invalid gccbug6.cpp:5: internal compiler error: tree check: expected class 't', have 'x' (error_mark) in xref_basetypes, at cp/decl.c:12834 Please submit a full bug report, >How-To-Repeat: Compile the above snippet >Fix: >Release-Note: >Audit-Trail: >Unformatted: