[Bug tree-optimization/97990] New: ICE: ‘verify_type’ failed

[doko at debian dot org]

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

            Bug ID: 97990
           Summary: ICE: ‘verify_type’ failed
           Product: gcc
           Version: 10.2.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: doko at debian dot org
  Target Milestone: ---

Created attachment 49626
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=49626&action=edit
preprocessed source

seen with the gcc-10 branch and the trunk on x86_64-linux-gnu,, -Wall is needed
to trigger the ICE.
compiler configured with --enable-checking=yes,extra,rtl


$ g++ -Wall -O2 -flto -c lambda.ii
:303:1: error: type variant with ‘TYPE_ALIAS_SET_KNOWN_P’
 <vector_type 0x7f28b0900c78
    type <integer_type 0x7f28b07af498 short int public type_6 HI
        size <integer_cst 0x7f28b07b2030 constant 16>
        unit-size <integer_cst 0x7f28b07b2048 constant 2>
        align:16 warn_if_not_align:0 symtab:0 alias-set 2 canonical-type
0x7f28b07af498 precision:16 min <integer_cst 0x7f28b0791fc0 -32768> max
<integer_cst 0x7f28b07b2000 32767>>
    sizes-gimplified type_6 HI size <integer_cst 0x7f28b07b2030 16> unit-size
<integer_cst 0x7f28b07b2048 2>
    align:16 warn_if_not_align:0 symtab:0 alias-set 2 canonical-type
0x7f28b0900c78 nunits:1>
 <vector_type 0x7f28b0518d20
    type <integer_type 0x7f28b07af498 short int public type_6 HI
        size <integer_cst 0x7f28b07b2030 constant 16>
        unit-size <integer_cst 0x7f28b07b2048 constant 2>
        align:16 warn_if_not_align:0 symtab:0 alias-set 2 canonical-type
0x7f28b07af498 precision:16 min <integer_cst 0x7f28b0791fc0 -32768> max
<integer_cst 0x7f28b07b2000 32767>>
    sizes-gimplified type_6 HI size <integer_cst 0x7f28b07b2030 16> unit-size
<integer_cst 0x7f28b07b2048 2>
    align:16 warn_if_not_align:0 symtab:0 alias-set 2 canonical-type
0x7f28b0900c78 nunits:1>
during IPA pass: *free_lang_data
:303:1: internal compiler error: ‘verify_type’ failed
0x151a060 verify_type(tree_node const*)
        ../../src/gcc/tree.c:14727
0x151cf5b free_lang_data
        ../../src/gcc/tree.c:6357
0x151cf5b execute
        ../../src/gcc/tree.c:6402
Please submit a full bug report,
with preprocessed source if appropriate.