[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
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112732 --- Comment #6 from GCC Commits --- The releases/gcc-12 branch has been updated by Richard Biener : https://gcc.gnu.org/g:b46486ef0316240eb3c173bda062b52333507e03 commit r12-10492-gb46486ef0316240eb3c173bda062b52333507e03 Author: Richard Biener Date: Tue Nov 28 12:36:21 2023 +0100 middle-end/112732 - stray TYPE_ALIAS_SET in type variant The following fixes a stray TYPE_ALIAS_SET in a type variant built by build_opaque_vector_type which is diagnosed by type checking enabled with -flto. PR middle-end/112732 * tree.cc (build_opaque_vector_type): Reset TYPE_ALIAS_SET of the newly built type. (cherry picked from commit f26d68d5d128c86faaceeb81b1e8f22254ad53df)
[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
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112732 --- Comment #5 from GCC Commits --- The releases/gcc-13 branch has been updated by Richard Biener : https://gcc.gnu.org/g:664ab9c6e8a5d031031596100997e025e5334e86 commit r13-8721-g664ab9c6e8a5d031031596100997e025e5334e86 Author: Richard Biener Date: Tue Nov 28 12:36:21 2023 +0100 middle-end/112732 - stray TYPE_ALIAS_SET in type variant The following fixes a stray TYPE_ALIAS_SET in a type variant built by build_opaque_vector_type which is diagnosed by type checking enabled with -flto. PR middle-end/112732 * tree.cc (build_opaque_vector_type): Reset TYPE_ALIAS_SET of the newly built type. (cherry picked from commit f26d68d5d128c86faaceeb81b1e8f22254ad53df)
[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
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112732 Richard Biener changed: What|Removed |Added Resolution|--- |FIXED Target Milestone|--- |14.0 Status|ASSIGNED|RESOLVED --- Comment #4 from Richard Biener --- Fixed on trunk.
[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
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112732 --- Comment #3 from GCC Commits --- The master branch has been updated by Richard Biener : https://gcc.gnu.org/g:f26d68d5d128c86faaceeb81b1e8f22254ad53df commit r14-5934-gf26d68d5d128c86faaceeb81b1e8f22254ad53df Author: Richard Biener Date: Tue Nov 28 12:36:21 2023 +0100 middle-end/112732 - stray TYPE_ALIAS_SET in type variant The following fixes a stray TYPE_ALIAS_SET in a type variant built by build_opaque_vector_type which is diagnosed by type checking enabled with -flto. PR middle-end/112732 * tree.cc (build_opaque_vector_type): Reset TYPE_ALIAS_SET of the newly built type.
[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
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112732 Richard Biener 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 --- 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 0x01adac14 in build_opaque_vector_type ( innertype=, nunits=...) at /home/rguenther/src/trunk/gcc/tree.cc:10271 #1 0x00d97c7c in build_binary_op (location=279873, code=EQ_EXPR, orig_op0=, orig_op1=, convert_p=true) at /home/rguenther/src/trunk/gcc/c/c-typeck.cc:12617 #2 0x00d7230f 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.
[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
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112732 Richard Biener changed: What|Removed |Added Last reconfirmed||2023-11-28 Status|UNCONFIRMED |NEW Ever confirmed|0 |1 --- Comment #1 from Richard Biener --- Confirmed.