[Bug lto/98540] New: [11 Regression] ICE: error: type variant with 'TYPE_ALIAS_SET_KNOWN_P'

[Bug lto/98540] New: [11 Regression] ICE: error: type variant with 'TYPE_ALIAS_SET_KNOWN_P'

[doko at debian dot org]

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

            Bug ID: 98540
           Summary: [11 Regression] ICE: error: type variant with
                    'TYPE_ALIAS_SET_KNOWN_P'
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: lto
          Assignee: unassigned at gcc dot gnu.org
          Reporter: doko at debian dot org
                CC: marxin at gcc dot gnu.org
  Target Milestone: ---

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

seen with trunk 20210102, works without -flto (although the file takes 8min to
build). compiler configure with --enable-checking=yes,rtl,extra

$ g++ -c -g -O3 -fstack-protector-strong -fopenmp -flto -mmmx -msse -msse2
-msse3 -mssse3 -msse4 -mpopcnt -Wall -Wno-unused-result -Wno-date-time
lambda.cpp.ii 
/packages/tmp/lambda-align2-2.0.0/src/lambda.cpp:100:1: error: type variant
with 'TYPE_ALIAS_SET_KNOWN_P'
  100 | }
      | ^
 <vector_type 0x7f851c044a80
    type <integer_type 0x7f851bf0e498 short int sizes-gimplified asm_written
public type_6 HI
        size <integer_cst 0x7f851bf11078 constant 16>
        unit-size <integer_cst 0x7f851bf11090 constant 2>
        align:16 warn_if_not_align:0 symtab:464622208 alias-set 22
canonical-type 0x7f851bf0e498 precision:16 min <integer_cst 0x7f851bf11018
-32768> max <integer_cst 0x7f851bf11048 32767>
        pointer_to_this <pointer_type 0x7f8514048540> reference_to_this
<reference_type 0x7f851aafed20>>
    sizes-gimplified asm_written type_6 V8HI
    size <integer_cst 0x7f851beeff00 type <integer_type 0x7f851bf0e0a8
bitsizetype> constant 128>
    unit-size <integer_cst 0x7f851beeff18 type <integer_type 0x7f851bf0e000
sizetype> constant 16>
    align:128 warn_if_not_align:0 symtab:293846784 alias-set 22 canonical-type
0x7f851c044a80 nunits:8
    pointer_to_this <pointer_type 0x7f850e9d3348> reference_to_this
<reference_type 0x7f8512bfa5e8>>
 <vector_type 0x7f84e8e561f8
    type <integer_type 0x7f851bf0e498 short int sizes-gimplified asm_written
public type_6 HI
        size <integer_cst 0x7f851bf11078 constant 16>
        unit-size <integer_cst 0x7f851bf11090 constant 2>
        align:16 warn_if_not_align:0 symtab:464622208 alias-set 22
canonical-type 0x7f851bf0e498 precision:16 min <integer_cst 0x7f851bf11018
-32768> max <integer_cst 0x7f851bf11048 32767>
        pointer_to_this <pointer_type 0x7f8514048540> reference_to_this
<reference_type 0x7f851aafed20>>
    sizes-gimplified type_6 V8HI
    size <integer_cst 0x7f851beeff00 type <integer_type 0x7f851bf0e0a8
bitsizetype> constant 128>
    unit-size <integer_cst 0x7f851beeff18 type <integer_type 0x7f851bf0e000
sizetype> constant 16>
    align:128 warn_if_not_align:0 symtab:0 alias-set 22 canonical-type
0x7f851c044a80 nunits:8>
during IPA pass: *free_lang_data
/packages/tmp/lambda-align2-2.0.0/src/lambda.cpp:100:1: internal compiler
error: 'verify_type' failed
0x626011 verify_type(tree_node const*)
        ../../src/gcc/tree.c:14906
0x62a3d3 free_lang_data
        ../../src/gcc/tree.c:6436
0x62a3d3 execute
        ../../src/gcc/tree.c:6481
Please submit a full bug report,
with preprocessed source if appropriate.

[Bug lto/98540] [11 Regression] ICE: error: type variant with 'TYPE_ALIAS_SET_KNOWN_P'

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
           Keywords|                            |needs-bisection,
                   |                            |needs-reduction
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2021-01-05
           Assignee|unassigned at gcc dot gnu.org      |marxin at gcc dot gnu.org

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
I'm reducing that right now..

[Bug lto/98540] [8/9/10/11 Regression] ICE: error: type variant with 'TYPE_ALIAS_SET_KNOWN_P' since r7-6939-g853ef4e5632df328

[marxin at gcc dot gnu.org]

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

--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
Created attachment 49894
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=49894&action=edit
Reduced test-case

Started with r7-6939-g853ef4e5632df328 and it was rejected before:

$ g++ lambda.cpp -O3 -Wall -flto -c -std=c++17
lambda.cpp: In function ‘void iterateMatchesFullSimd()’:
lambda.cpp:254:9: warning: typedef ‘using TBlastRecord = int’ locally defined
but not used [-Wunused-local-typedefs]
  254 |   using TBlastRecord = int;
      |         ^~~~~~~~~~~~
lambda.cpp: At global scope:
lambda.cpp:258:1: error: type variant with ‘TYPE_ALIAS_SET_KNOWN_P’
  258 | }
      | ^
 <vector_type 0x7ffff755ba80
    type <integer_type 0x7ffff7415498 short int public type_6 HI
        size <integer_cst 0x7ffff7418078 constant 16>
        unit-size <integer_cst 0x7ffff7418090 constant 2>
        align:16 warn_if_not_align:0 symtab:0 alias-set 2 canonical-type
0x7ffff7415498 precision:16 min <integer_cst 0x7ffff7418018 -32768> max
<integer_cst 0x7ffff7418048 32767>>
    sizes-gimplified type_6 HI size <integer_cst 0x7ffff7418078 16> unit-size
<integer_cst 0x7ffff7418090 2>
    align:16 warn_if_not_align:0 symtab:0 alias-set 2 canonical-type
0x7ffff755ba80 nunits:1>
 <vector_type 0x7ffff75f0930
    type <integer_type 0x7ffff7415498 short int public type_6 HI
        size <integer_cst 0x7ffff7418078 constant 16>
        unit-size <integer_cst 0x7ffff7418090 constant 2>
        align:16 warn_if_not_align:0 symtab:0 alias-set 2 canonical-type
0x7ffff7415498 precision:16 min <integer_cst 0x7ffff7418018 -32768> max
<integer_cst 0x7ffff7418048 32767>>
    sizes-gimplified type_6 HI size <integer_cst 0x7ffff7418078 16> unit-size
<integer_cst 0x7ffff7418090 2>
    align:16 warn_if_not_align:0 symtab:0 alias-set 2 canonical-type
0x7ffff755ba80 nunits:1>
during IPA pass: *free_lang_data
lambda.cpp:258:1: internal compiler error: ‘verify_type’ failed
0x139f4d0 verify_type(tree_node const*)
        /home/marxin/Programming/gcc/gcc/tree.c:14906
0x13a2407 free_lang_data
        /home/marxin/Programming/gcc/gcc/tree.c:6436
0x13a2407 execute
        /home/marxin/Programming/gcc/gcc/tree.c:6481
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.

[Bug lto/98540] [8/9/10/11 Regression] ICE: error: type variant with 'TYPE_ALIAS_SET_KNOWN_P' since r7-6939-g853ef4e5632df328

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|marxin at gcc dot gnu.org          |unassigned at gcc dot gnu.org
             Status|ASSIGNED                    |NEW

[Bug middle-end/98540] [8/9/10/11 Regression] ICE: error: type variant with 'TYPE_ALIAS_SET_KNOWN_P' since r7-6939-g853ef4e5632df328

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |lto
   Target Milestone|---                         |11.0
          Component|lto                         |middle-end

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
-flto is only adding the verification, I guess the error is in the middle-end
or the frontend instead.

[Bug middle-end/98540] [8/9/10/11 Regression] ICE: error: type variant with 'TYPE_ALIAS_SET_KNOWN_P' since r7-6939-g853ef4e5632df328

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|11.0                        |8.5
           Priority|P3                          |P2

[Bug middle-end/98540] [9/10/11/12 Regression] ICE: error: type variant with 'TYPE_ALIAS_SET_KNOWN_P' since r7-6939-g853ef4e5632df328

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|8.5                         |9.4

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 8 branch is being closed.

[Bug middle-end/98540] [9/10/11/12 Regression] ICE: error: type variant with 'TYPE_ALIAS_SET_KNOWN_P' since r7-6939-g853ef4e5632df328

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|9.4                         |9.5

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 9.4 is being released, retargeting bugs to GCC 9.5.

[Bug middle-end/98540] [10/11/12/13 Regression] ICE: error: type variant with 'TYPE_ALIAS_SET_KNOWN_P' since r7-6939-g853ef4e5632df328

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|9.5                         |10.4

--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 9 branch is being closed

[Bug middle-end/98540] [10/11/12/13 Regression] ICE: error: type variant with 'TYPE_ALIAS_SET_KNOWN_P' since r7-6939-g853ef4e5632df328

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|10.4                        |10.5

--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 10.4 is being released, retargeting bugs to GCC 10.5.

[Bug middle-end/98540] [11/12/13/14 Regression] ICE: error: type variant with 'TYPE_ALIAS_SET_KNOWN_P' since r7-6939-g853ef4e5632df328

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|10.5                        |11.5

--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 10 branch is being closed.

[Bug middle-end/98540] [11/12/13/14 Regression] ICE: error: type variant with 'TYPE_ALIAS_SET_KNOWN_P' since r7-6939-g853ef4e5632df328

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |DUPLICATE
             Status|NEW                         |RESOLVED

--- Comment #9 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Dup of bug 97990.

*** This bug has been marked as a duplicate of bug 97990 ***