[Bug lto/112732] during IPA pass: *free_lang_data ICE: 'verify_type' failed: type variant with 'TYPE_ALIAS_SET_KNOWN_P' with -Os -Wstrict-aliasing=2 -flto

[rguenth at gcc dot gnu.org via Gcc-bugs]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot 
gnu.org
           Keywords|                            |ice-checking
                 CC|                            |hubicka at gcc dot gnu.org
             Status|NEW                         |ASSIGNED

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
The vector type is built as a distinct type copy from a vector type that has
the alias set already set (by the diagnostic code).

#0  0x0000000001adac14 in build_opaque_vector_type (
    innertype=<integer_type 0x7ffff6a2b9d8 __int128>, nunits=...)
    at /home/rguenther/src/trunk/gcc/tree.cc:10271
#1  0x0000000000d97c7c in build_binary_op (location=279873, code=EQ_EXPR, 
    orig_op0=<var_decl 0x7ffff6a19cf0 w>, 
    orig_op1=<var_decl 0x7ffff6a19d80 d>, convert_p=true)
    at /home/rguenther/src/trunk/gcc/c/c-typeck.cc:12617
#2  0x0000000000d7230f in parser_build_binary_op (location=279873, 
    code=EQ_EXPR, arg1=..., arg2=...)
    at /home/rguenther/src/trunk/gcc/c/c-typeck.cc:3766

I think given this checking that build_opaque_vector_type should clear
TYPE_ALIAS_SET.