From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-prs-return-33830-listarch-gcc-prs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 18507 invoked by alias); 29 Apr 2003 20:06:00 -0000
Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc-prs/>
List-Post: <mailto:gcc-prs@gcc.gnu.org>
List-Help: <mailto:gcc-prs-help@gcc.gnu.org>
Sender: gcc-prs-owner@gcc.gnu.org
Received: (qmail 18487 invoked by uid 71); 29 Apr 2003 20:06:00 -0000
Resent-Date: 29 Apr 2003 20:06:00 -0000
Resent-Message-ID: <20030429200600.18486.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, reichelt@igpm.rwth-aachen.de
Received: (qmail 12697 invoked by uid 48); 29 Apr 2003 20:00:00 -0000
Message-Id: <20030429200000.12696.qmail@sources.redhat.com>
Date: Tue, 29 Apr 2003 20:06:00 -0000
From: reichelt@igpm.rwth-aachen.de
Reply-To: reichelt@igpm.rwth-aachen.de
To: gcc-gnats@gcc.gnu.org
X-Send-Pr-Version: gnatsweb-2.9.3 (1.1.1.1.2.31)
Subject: c++/10555: [3.3/3.4 regression] ICE on undefined template argument
X-SW-Source: 2003-04/txt/msg01400.txt.bz2
List-Id: <gcc-prs.sourceware.org>


>Number:         10555
>Category:       c++
>Synopsis:       [3.3/3.4 regression] ICE on undefined template argument
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          ice-on-illegal-code
>Submitter-Id:   net
>Arrival-Date:   Tue Apr 29 20:06:00 UTC 2003
>Closed-Date:
>Last-Modified:
>Originator:     Volker Reichelt
>Release:        3.1 - 3.4-20030402
>Organization:
>Environment:
i686-pc-linux-gnu
>Description:
Consider the following code snippet:

-------------------------------snip here------------------------
template <typename> struct A
{
    template <typename> struct B;
};

template <typename T> struct C
{
    typedef typename A<T>::template B<U> X; // U is undefined
};

C<void> c;
-------------------------------snip here------------------------

PR8582D.cc:8: error: `U' has not been declared
PR8582D.cc: In instantiation of `C<void>':
PR8582D.cc:11:   instantiated from here
PR8582D.cc:8: error: template argument 1 is invalid
PR8582D.cc:8: internal compiler error: tree check: expected tree_vec, have 
   error_mark in check_instantiated_args, at cp/pt.c:8403
Please submit a full bug report, [etc.]

This error recovery problem affects mainline, 3.3 branch and the 3.2 branch
(at least if configured with --enable-checking).
So it's a regression from 3.0.x.
>How-To-Repeat:

>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted: