From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-69759-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 17984 invoked by alias); 5 Sep 2003 23:45:55 -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 17967 invoked by uid 48); 5 Sep 2003 23:45:53 -0000
Date: Fri, 05 Sep 2003 23:45:00 -0000
Message-ID: <20030905234553.17965.qmail@sources.redhat.com>
From: "bangerth at dealii dot org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
In-Reply-To: <20030904162242.12170.dave@boost-consulting.com>
References: <20030904162242.12170.dave@boost-consulting.com>
Reply-To: gcc-bugzilla@gcc.gnu.org
Subject: [Bug c++/12170] ICE in cp_type_quals
X-Bugzilla-Reason: CC
X-SW-Source: 2003-09/txt/msg00460.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=12170


bangerth at dealii dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2003-09-05 23:45:52
               date|                            |
            Summary|Internal compiler error     |ICE in cp_type_quals


------- Additional Comments From bangerth at dealii dot org  2003-09-05 23:45 -------
OK, here's a reduced testcase (that was tough...):
-------------------------
template <typename> struct W {};

template< template<typename> class F, typename T>
int foo(W< F<T> >);


template<typename T>
struct L  {
    static int const value = sizeof(foo(W<T>()));
    typedef T type;
};


template <typename>
struct Y {
    template <typename> struct X { typedef int type; };
    typedef typename L<X<int> >::type type;
};

template struct Y<int>;
-----------------------------

This crashes all compiles I have, since 2.95. With 3.3 and 3.4 we get:
g/x> /home/bangerth/bin/gcc-3.3*-pre/bin/c++ -c z.cc
z.cc: In instantiation of `L<Y<int>::X<int> >':
z.cc:17:   instantiated from `Y<int>'
z.cc:20:   instantiated from here
z.cc:9: internal compiler error: tree check: expected class 't', have 'x' (
   tree_vec) in cp_type_quals, at cp/typeck.c:6597
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

g/x> /home/bangerth/bin/gcc-3.4*-pre/bin/c++ -c z.cc
z.cc: In instantiation of `L<Y<int>::X<int> >':
z.cc:17:   instantiated from `Y<int>'
z.cc:20:   instantiated from here
z.cc:9: internal compiler error: tree check: expected class 't', have 'x'
(tree_vec) in cp_type_quals, at cp/typeck.c:6111
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


W.