From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-68134-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 2695 invoked by alias); 20 Aug 2003 14:33:17 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Received: (qmail 2679 invoked by uid 48); 20 Aug 2003 14:33:17 -0000
Date: Wed, 20 Aug 2003 14:33:00 -0000
Message-ID: <20030820143317.2677.qmail@sources.redhat.com>
From: "bangerth at dealii dot org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
In-Reply-To: <20030820115542.11991.blaz@blazlabs.com>
References: <20030820115542.11991.blaz@blazlabs.com>
Reply-To: gcc-bugzilla@gcc.gnu.org
Subject: [Bug c++/11991] ICE in cxx_incomplete_type_diagnostic, at cp/typeck2.c:282 when applying typeid operator to template template parameter
X-Bugzilla-Reason: CC
X-SW-Source: 2003-08/txt/msg02191.txt.bz2
List-Id: <gcc-bugs.sourceware.org>

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11991


bangerth at dealii dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
           Keywords|                            |ice-on-invalid-code
         Resolution|                            |FIXED


------- Additional Comments From bangerth at dealii dot org  2003-08-20 14:33 -------
Confirmed with gcc 2.96, 3.2 and 3.3, but already fixed in mainline. The code in question is 
--------------------------- 
#include <typeinfo> 
 
template <template <class> class T> struct A { 
    void error() { 
      typeid(T).name(); 
    } 
}; 
 
template <class T> struct B {}; 
 
template void A<B>::error(); 
------------------------------------------- 
which of course is invalid since T in typeid(T) is not a type but a template. Present mainline 
gives the following error message: 
tmp/g> ../build-gcc/gcc-install/bin/c++ -c x.cc 
x.cc: In member function `void A<T>::error()': 
x.cc:6: error: missing template arguments 
 
W.