[Bug c++/15818] [3.3/3.4/3.5 Regression] ice on werid templates

["bangerth at dealii dot org" <gcc-bugzilla at gcc dot gnu dot org>]

------- Additional Comments From bangerth at dealii dot org  2004-06-04 13:34 -------
Confirmed. Here's the smallest I could come up with: 
---------------------- 
template<typename> struct O { 
    template<typename> struct I; 
}; 
 
template<typename> struct S {}; 
 
template<template <typename> class C, typename U> 
struct S<C<U> > {}; 
 
S<O<int>::I<int> > yes_nested; 
---------------------- 
 
Note that it fails with 3.3.4 and 3.4.0 as well, only that one probably 
has to have them compiled with checking enabled: 
 
g/x> /home/bangerth/bin/gcc-3.3.4-pre/bin/c++ -c x.cc 
x.cc:10: internal compiler error: tree check: expected class 't', have 'x' ( 
   tree_vec) in cp_type_quals, at cp/typeck.c:6567 
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 x.cc 
x.cc:10: internal compiler error: tree check: expected class 't', have 
'x' (tree_vec) in cp_type_quals, at cp/typeck.c:6268 
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.5-pre/bin/c++ -c x.cc 
x.cc:10: internal compiler error: tree check: expected class 't', have 
'x' (tree_vec) in cp_type_quals, at cp/typeck.c:6207 
Please submit a full bug report, 
with preprocessed source if appropriate. 
See <URL:http://gcc.gnu.org/bugs.html> for instructions. 
 
It doesn't happen with 3.2.3, though I haven't compiled that one with 
checking enabled, so I may fool myself there. 
 
W. 

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
      Known to fail|                            |3.3.4 3.4.0 3.5.0
      Known to work|                            |3.2.3
   Last reconfirmed|0000-00-00 00:00:00         |2004-06-04 13:34:56
               date|                            |
            Summary|[3.5 Regression] ice on     |[3.3/3.4/3.5 Regression] ice
                   |werid templates             |on werid templates
   Target Milestone|3.5.0                       |3.3.4


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