[Bug c++/96360] New: ICE in tree check: expected integer_cst, have truth_orif_expr in get_len, at tree.h:5954

[Bug c++/96360] New: ICE in tree check: expected integer_cst, have truth_orif_expr in get_len, at tree.h:5954

[haoxintu at gmail dot com]

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

            Bug ID: 96360
           Summary: ICE in tree check: expected integer_cst, have
                    truth_orif_expr in get_len, at tree.h:5954
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: haoxintu at gmail dot com
  Target Milestone: ---

Hi, all.

This invalid code makes GCC ICE and without any error diagnostic messages.

Input:
//small.cc
short a = 0;
long const b = 0;
enum class c {e}; 
template <typename = enum class c { d = b || a}> class A{}; 
template <> enum class c {};

Command:
g++ small.cc

Ouput:
small.cc:6:27: internal compiler error: tree check: expected integer_cst, have
truth_orif_expr in get_len, at tree.h:5954
    6 | template <> enum class c {};
      |                           ^
0x7ebb15 tree_check_failed(tree_node const*, char const*, int, char const*,
...)
        ../../gcc/tree.c:9687
0x8aeb5a tree_check(tree_node const*, char const*, int, char const*, tree_code)
        ../../gcc/tree.h:3559
0x8aeb5a wi::extended_tree<192>::get_len() const
        ../../gcc/tree.h:5954
0x8aeb5a wi::int_traits<generic_wide_int<wi::extended_tree<192> >
>::decompose(long*, unsigned int, generic_wide_int<wi::extended_tree<192> >
const&)
        ../../gcc/wide-int.h:985
0x8aeb5a wide_int_ref_storage<true,
false>::wide_int_ref_storage<generic_wide_int<wi::extended_tree<192> >
>(generic_wide_int<wi::extended_tree<192> > const&, unsigned int)
        ../../gcc/wide-int.h:1034
0x8aeb5a generic_wide_int<wide_int_ref_storage<true, false>
>::generic_wide_int<generic_wide_int<wi::extended_tree<192> >
>(generic_wide_int<wi::extended_tree<192> > const&, unsigned int)
        ../../gcc/wide-int.h:790
0x8aeb5a bool wi::lts_p<generic_wide_int<wi::extended_tree<192> >,
generic_wide_int<wi::extended_tree<192> >
>(generic_wide_int<wi::extended_tree<192> > const&,
generic_wide_int<wi::extended_tree<192> > const&)
        ../../gcc/wide-int.h:1901
0x93b738 wi::binary_traits<generic_wide_int<wi::extended_tree<192> >,
generic_wide_int<wi::extended_tree<192> >,
wi::int_traits<generic_wide_int<wi::extended_tree<192> > >::precision_type,
wi::int_traits<generic_wide_int<wi::extended_tree<192> >
>::precision_type>::signed_predicate_result operator<
<generic_wide_int<wi::extended_tree<192> >,
generic_wide_int<wi::extended_tree<192> >
>(generic_wide_int<wi::extended_tree<192> > const&,
generic_wide_int<wi::extended_tree<192> > const&)
        ../../gcc/wide-int.h:3248
0x93b738 tree_int_cst_lt(tree_node const*, tree_node const*)
        ../../gcc/tree.h:6110
0x93b738 finish_enum_value_list(tree_node*)
        ../../gcc/cp/decl.c:15574
0x9cc32b cp_parser_enum_specifier
        ../../gcc/cp/parser.c:19471
0x9cc32b cp_parser_type_specifier
        ../../gcc/cp/parser.c:17757
0x9ccc0e cp_parser_decl_specifier_seq
        ../../gcc/cp/parser.c:14424
0x9f46d5 cp_parser_single_declaration
        ../../gcc/cp/parser.c:29487
0x9f59f0 cp_parser_explicit_specialization
        ../../gcc/cp/parser.c:17677
0x9f8e5d cp_parser_declaration
        ../../gcc/cp/parser.c:13444
0x9f941b cp_parser_translation_unit
        ../../gcc/cp/parser.c:4781
0x9f941b c_parse_file()
        ../../gcc/cp/parser.c:44069
0xb13e2d c_common_parse_file()
        ../../gcc/c-family/c-opts.c:1188
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

Every version of GCC-6.1 onwards behaves the same. (I didn't test older
versions)

[Bug c++/96360] ICE in tree check: expected integer_cst, have truth_orif_expr in get_len, at tree.h:5954

[rsandifo at gcc dot gnu.org]

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

rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
                 CC|                            |rsandifo at gcc dot gnu.org
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2020-07-31

--- Comment #1 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> ---
Confirmed.

[Bug c++/96360] ICE in tree check: expected integer_cst, have truth_orif_expr in get_len, at tree.h:5954

[mpolacek at gcc dot gnu.org]

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED
                 CC|                            |mpolacek at gcc dot gnu.org

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Fixed by r12-7574.