http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58518
Bug ID: 58518
Summary: [4.8/4.9 regression] ICE template specialization
Product: gcc
Version: 4.9.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
The following valid code snippet triggers an ICE since GCC 4.8.0:
========================================
template<typename T> struct A
{
template<T, T> struct B {};
template<T t> struct B<t, t> {};
};
A<int>::B<0, 0> b;
========================================
bug.cc:7:17: internal compiler error: in tsubst, at cp/pt.c:11473
A<int>::B<0, 0> b;
^
0x5a63d5 tsubst(tree_node*, tree_node*, int, tree_node*)
../../gcc/gcc/cp/pt.c:11473
0x5a92a2 convert_template_argument
../../gcc/gcc/cp/pt.c:6424
0x5a3135 coerce_template_parms
../../gcc/gcc/cp/pt.c:6827
0x5bf864 get_class_bindings
../../gcc/gcc/cp/pt.c:18177
0x5c0420 most_specialized_class
../../gcc/gcc/cp/pt.c:18398
0x5d0eb0 instantiate_class_template_1
../../gcc/gcc/cp/pt.c:8687
0x5d0eb0 instantiate_class_template(tree_node*)
../../gcc/gcc/cp/pt.c:9216
0x65cdcb complete_type(tree_node*)
../../gcc/gcc/cp/typeck.c:132
0x54da66 start_decl_1(tree_node*, bool)
../../gcc/gcc/cp/decl.c:4670
0x577851 start_decl(cp_declarator const*, cp_decl_specifier_seq*, int,
tree_node*, tree_node*, tree_node**)
../../gcc/gcc/cp/decl.c:4633
0x649a5a cp_parser_init_declarator
../../gcc/gcc/cp/parser.c:16447
0x64a32f cp_parser_simple_declaration
../../gcc/gcc/cp/parser.c:10986
0x64c190 cp_parser_block_declaration
../../gcc/gcc/cp/parser.c:10867
0x6551ae cp_parser_declaration
../../gcc/gcc/cp/parser.c:10764
0x653f0d cp_parser_declaration_seq_opt
../../gcc/gcc/cp/parser.c:10650
0x6557e6 cp_parser_translation_unit
../../gcc/gcc/cp/parser.c:3939
0x6557e6 c_parse_file()
../../gcc/gcc/cp/parser.c:28893
0x768164 c_common_parse_file()
../../gcc/gcc/c-family/c-opts.c:1046
Please submit a full bug report, [etc.]
A little longer testcase triggers an ICE in a different function:
========================================
template<typename T> struct A
{
typedef typename T::X U;
template<U, U> struct B {};
template<U u> struct B<u, u> {};
};
struct C
{
typedef int X;
};
A<C>::B<0, 0> b;
========================================
bug.cc:14:15: internal compiler error: in dependent_type_p, at cp/pt.c:19969
A<C>::B<0, 0> b;
^
0x588d28 dependent_type_p(tree_node*)
../../gcc/gcc/cp/pt.c:19969
0x589504 dependent_scope_p(tree_node*)
../../gcc/gcc/cp/pt.c:20000
0x54aed7 make_typename_type(tree_node*, tree_node*, tag_types, int)
../../gcc/gcc/cp/decl.c:3331
0x5a5781 tsubst(tree_node*, tree_node*, int, tree_node*)
../../gcc/gcc/cp/pt.c:11914
0x5a92a2 convert_template_argument
../../gcc/gcc/cp/pt.c:6424
0x5a3135 coerce_template_parms
../../gcc/gcc/cp/pt.c:6827
0x5bf864 get_class_bindings
../../gcc/gcc/cp/pt.c:18177
0x5c0420 most_specialized_class
../../gcc/gcc/cp/pt.c:18398
0x5d0eb0 instantiate_class_template_1
../../gcc/gcc/cp/pt.c:8687
0x5d0eb0 instantiate_class_template(tree_node*)
../../gcc/gcc/cp/pt.c:9216
0x65cdcb complete_type(tree_node*)
../../gcc/gcc/cp/typeck.c:132
0x54da66 start_decl_1(tree_node*, bool)
../../gcc/gcc/cp/decl.c:4670
0x577851 start_decl(cp_declarator const*, cp_decl_specifier_seq*, int,
tree_node*, tree_node*, tree_node**)
../../gcc/gcc/cp/decl.c:4633
0x649a5a cp_parser_init_declarator
../../gcc/gcc/cp/parser.c:16447
0x64a32f cp_parser_simple_declaration
../../gcc/gcc/cp/parser.c:10986
0x64c190 cp_parser_block_declaration
../../gcc/gcc/cp/parser.c:10867
0x6551ae cp_parser_declaration
../../gcc/gcc/cp/parser.c:10764
0x653f0d cp_parser_declaration_seq_opt
../../gcc/gcc/cp/parser.c:10650
0x6557e6 cp_parser_translation_unit
../../gcc/gcc/cp/parser.c:3939
0x6557e6 c_parse_file()
../../gcc/gcc/cp/parser.c:28893
Please submit a full bug report, [etc.]
