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

[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.

[Bug tree-optimization/97990] [8/9/10/11 Regression] ICE: ‘verify_type’ failed since r6-5222-gba6a6a1d44c17f25

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |hubicka at gcc dot gnu.org,
                   |                            |marxin at gcc dot gnu.org
   Last reconfirmed|                            |2020-11-26
           Priority|P3                          |P2
            Summary|ICE: ‘verify_type’ failed   |[8/9/10/11 Regression] ICE:
                   |                            |‘verify_type’ failed since
                   |                            |r6-5222-gba6a6a1d44c17f25
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1
   Target Milestone|---                         |8.5

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Confirmed, started with r6-5222-gba6a6a1d44c17f25.
One does not need a extra,rtl checking.

[Bug tree-optimization/97990] [9/10/11/12 Regression] ICE: ‘verify_type’ failed since r6-5222-gba6a6a1d44c17f25

[jakub at gcc dot gnu.org]

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

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

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

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

[Bug tree-optimization/97990] [9/10/11/12 Regression] ICE: ‘verify_type’ failed since r6-5222-gba6a6a1d44c17f25

[rguenth at gcc dot gnu.org]

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

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

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

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

[Bug tree-optimization/97990] [10/11/12/13 Regression] ICE: ‘verify_type’ failed since r6-5222-gba6a6a1d44c17f25

[rguenth at gcc dot gnu.org]

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

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

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

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

[Bug tree-optimization/97990] [10/11/12/13 Regression] ICE: ‘verify_type’ failed since r6-5222-gba6a6a1d44c17f25

[jakub at gcc dot gnu.org]

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

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

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

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

[Bug tree-optimization/97990] [10/11/12/13/14 Regression] ICE: ‘verify_type’ failed since r6-5222-gba6a6a1d44c17f25

[pinskia at gcc dot gnu.org]

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

--- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Reduced testcase:
```
typedef __attribute__((__vector_size__(sizeof(short)))) short TSimd;
TSimd hh(int);
struct y6
{
  TSimd VALUE;
  ~y6();
};
template <class T1,class T2>
auto f2(T1 p1, T2){
  return hh(p1) <= 0;
}
void f1(){
  f2(0, y6{});
}

```

[Bug c++/97990] [10/11/12/13/14 Regression] ICE: ‘verify_type’ failed with vector types and non-PODs since r6-5222-gba6a6a1d44c17f25

[pinskia at gcc dot gnu.org]

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

--- Comment #7 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
The min option set required is `-flto -O2  -Wstrict-aliasing`

[Bug c++/97990] [10/11/12/13/14 Regression] ICE: ‘verify_type’ failed with vector types and non-PODs since r6-5222-gba6a6a1d44c17f25

[pinskia at gcc dot gnu.org]

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

--- Comment #8 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Andrew Pinski from comment #7)
> The min option set required is `-flto -O2  -Wstrict-aliasing`

Actually it is just: `-flto  -fstrict-aliasing  -Wstrict-aliasing`

I wonder how the aliasing set is being set for the `type variant` here ...

[Bug c++/97990] [11/12/13/14 Regression] ICE: ‘verify_type’ failed with vector types and non-PODs since r6-5222-gba6a6a1d44c17f25

[rguenth at gcc dot gnu.org]

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

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

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

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

[Bug c++/97990] [11/12/13/14 Regression] ICE: ‘verify_type’ failed with vector types and non-PODs since r6-5222-gba6a6a1d44c17f25

[pinskia at gcc dot gnu.org]

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

--- Comment #10 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
*** Bug 98540 has been marked as a duplicate of this bug. ***

[Bug c++/97990] [11/12/13/14 Regression] ICE: ‘verify_type’ failed with vector types and non-PODs since r6-5222-gba6a6a1d44c17f25

[mpolacek at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mpolacek at gcc dot gnu.org

--- Comment #11 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Looks like r14-5934-gf26d68d5d128c8:

commit f26d68d5d128c86faaceeb81b1e8f22254ad53df
Author: Richard Biener <rguenther@suse.de>
Date:   Tue Nov 28 12:36:21 2023 +0100

    middle-end/112732 - stray TYPE_ALIAS_SET in type variant

fixed this.

[Bug c++/97990] [11/12/13 Regression] ICE: ‘verify_type’ failed with vector types and non-PODs since r6-5222-gba6a6a1d44c17f25

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[11/12/13/14 Regression]    |[11/12/13 Regression] ICE:
                   |ICE: ‘verify_type’ failed   |‘verify_type’ failed with
                   |with vector types and       |vector types and non-PODs
                   |non-PODs since              |since
                   |r6-5222-gba6a6a1d44c17f25   |r6-5222-gba6a6a1d44c17f25
      Known to work|                            |14.0

--- Comment #12 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Marek Polacek from comment #11)
> Looks like r14-5934-gf26d68d5d128c8:
> 
> commit f26d68d5d128c86faaceeb81b1e8f22254ad53df
> Author: Richard Biener <rguenther@suse.de>
> Date:   Tue Nov 28 12:36:21 2023 +0100
> 
>     middle-end/112732 - stray TYPE_ALIAS_SET in type variant
> 
> fixed this.

Yes that looks like the correct fix even and PR 112732 does look like the same
issue here except a different path to create the type variant.

[Bug c++/97990] [11/12/13 Regression] ICE: ‘verify_type’ failed with vector types and non-PODs since r6-5222-gba6a6a1d44c17f25

[cvs-commit at gcc dot gnu.org]

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

--- Comment #13 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The trunk branch has been updated by Andrew Pinski <pinskia@gcc.gnu.org>:

https://gcc.gnu.org/g:5f1438db419c9eb8901d1d1d7f98fb69082aec8e

commit r14-9037-g5f1438db419c9eb8901d1d1d7f98fb69082aec8e
Author: Andrew Pinski <quic_apinski@quicinc.com>
Date:   Fri Feb 16 10:55:43 2024 -0800

    c++: Add testcase for this PR [PR97990]

    This testcase was fixed by r14-5934-gf26d68d5d128c8 but we should add
    one to make sure it does not regress again.

    Committed as obvious after a quick test on the testcase.

            PR c++/97990

    gcc/testsuite/ChangeLog:

            * g++.dg/torture/vector-struct-1.C: New test.

    Signed-off-by: Andrew Pinski <quic_apinski@quicinc.com>

[Bug c++/97990] [11/12/13 Regression] ICE: ‘verify_type’ failed with vector types and non-PODs since r6-5222-gba6a6a1d44c17f25

[cvs-commit at gcc dot gnu.org]

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

--- Comment #14 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-13 branch has been updated by Richard Biener
<rguenth@gcc.gnu.org>:

https://gcc.gnu.org/g:a0f59eb899d151727ee965f900d57dc0395b47df

commit r13-8722-ga0f59eb899d151727ee965f900d57dc0395b47df
Author: Andrew Pinski <quic_apinski@quicinc.com>
Date:   Fri Feb 16 10:55:43 2024 -0800

    c++: Add testcase for this PR [PR97990]

    This testcase was fixed by r14-5934-gf26d68d5d128c8 but we should add
    one to make sure it does not regress again.

    Committed as obvious after a quick test on the testcase.

            PR c++/97990

    gcc/testsuite/ChangeLog:

            * g++.dg/torture/vector-struct-1.C: New test.

    Signed-off-by: Andrew Pinski <quic_apinski@quicinc.com>
    (cherry picked from commit 5f1438db419c9eb8901d1d1d7f98fb69082aec8e)

[Bug c++/97990] [11/12 Regression] ICE: ‘verify_type’ failed with vector types and non-PODs since r6-5222-gba6a6a1d44c17f25

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[11/12/13 Regression] ICE:  |[11/12 Regression] ICE:
                   |‘verify_type’ failed with   |‘verify_type’ failed with
                   |vector types and non-PODs   |vector types and non-PODs
                   |since                       |since
                   |r6-5222-gba6a6a1d44c17f25   |r6-5222-gba6a6a1d44c17f25
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org
           Keywords|                            |ice-checking
             Status|NEW                         |ASSIGNED