[Bug c++/77639] New: ICE on x86_64-linux-gnu (internal compiler error: tree check: accessed elt 1 of tree_vec with 0 elts in unify, at cp/pt.c:19674)

[chengniansun at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77639

            Bug ID: 77639
           Summary: ICE on x86_64-linux-gnu (internal compiler error: tree
                    check: accessed elt 1 of tree_vec with 0 elts in
                    unify, at cp/pt.c:19674)
           Product: gcc
           Version: 7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: chengniansun at gmail dot com
  Target Milestone: ---

$ g++-trunk -v
Using built-in specs.
COLLECT_GCC=g++-trunk
COLLECT_LTO_WRAPPER=/usr/local/gcc-trunk/libexec/gcc/x86_64-pc-linux-gnu/7.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ../gcc-source-trunk/configure --enable-languages=c,c++,lto
--prefix=/usr/local/gcc-trunk --disable-bootstrap
Thread model: posix
gcc version 7.0.0 20160918 (experimental) [trunk revision 240220] (GCC)
$
$ g++-trunk small.C
small.C:2:35: error: an explicit specialization must be preceded by ‘template
<>’
 template <class T, int a, class U struct B<T, a, U, 1> {};
                                   ^~~~~~~~~~~~~~~~~~~~
                                   template <>
small.C:2:42: error: enclosing class templates are not explicitly specialized
 template <class T, int a, class U struct B<T, a, U, 1> {};
                                          ^~~~~~~~~~~~~
small.C:2:56: error: types may not be defined in parameter types
 template <class T, int a, class U struct B<T, a, U, 1> {};
                                                        ^
small.C:2:56: error: definition of ‘struct B<T, a, U, 1>’ inside template
parameter list
small.C:2:57: error: two or more data types in declaration of ‘parameter’
 template <class T, int a, class U struct B<T, a, U, 1> {};
                                                         ^
small.C:2:58: error: expected ‘>’ before ‘;’ token
 template <class T, int a, class U struct B<T, a, U, 1> {};
                                                          ^
small.C:2:58: error: expected unqualified-id before ‘;’ token
small.C:3:20: internal compiler error: tree check: accessed elt 1 of tree_vec
with 0 elts in unify, at cp/pt.c:19674
 B<int, 2, char, 1> i;
                    ^
0x107f2b5 tree_vec_elt_check_failed(int, int, char const*, int, char const*)
        ../../gcc-source-trunk/gcc/tree.c:9939
0x6f2572 tree_vec_elt_check
        ../../gcc-source-trunk/gcc/tree.h:3247
0x6f2572 unify
        ../../gcc-source-trunk/gcc/cp/pt.c:19674
0x6f1915 unify
        ../../gcc-source-trunk/gcc/cp/pt.c:20081
0x6f4156 get_partial_spec_bindings
        ../../gcc-source-trunk/gcc/cp/pt.c:20851
0x6eb961 most_specialized_partial_spec
        ../../gcc-source-trunk/gcc/cp/pt.c:21107
0x707005 instantiate_class_template_1
        ../../gcc-source-trunk/gcc/cp/pt.c:9848
0x707005 instantiate_class_template(tree_node*)
        ../../gcc-source-trunk/gcc/cp/pt.c:10416
0x7adbcb complete_type(tree_node*)
        ../../gcc-source-trunk/gcc/cp/typeck.c:133
0x66b315 start_decl_1(tree_node*, bool)
        ../../gcc-source-trunk/gcc/cp/decl.c:5168
0x6944bf start_decl(cp_declarator const*, cp_decl_specifier_seq*, int,
tree_node*, tree_node*, tree_node**)
        ../../gcc-source-trunk/gcc/cp/decl.c:5131
0x79a089 cp_parser_init_declarator
        ../../gcc-source-trunk/gcc/cp/parser.c:18701
0x79aae7 cp_parser_simple_declaration
        ../../gcc-source-trunk/gcc/cp/parser.c:12495
0x79ae66 cp_parser_block_declaration
        ../../gcc-source-trunk/gcc/cp/parser.c:12363
0x7a3d14 cp_parser_declaration
        ../../gcc-source-trunk/gcc/cp/parser.c:12260
0x7a28af cp_parser_declaration_seq_opt
        ../../gcc-source-trunk/gcc/cp/parser.c:12139
0x7a2bf8 cp_parser_translation_unit
        ../../gcc-source-trunk/gcc/cp/parser.c:4356
0x7a2bf8 c_parse_file()
        ../../gcc-source-trunk/gcc/cp/parser.c:37714
0x917b92 c_common_parse_file()
        ../../gcc-source-trunk/gcc/c-family/c-opts.c:1073
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
$
$ cat small.C
template <class, int, class, int> struct B {};
template <class T, int a, class U struct B<T, a, U, 1> {};
B<int, 2, char, 1> i;
$