https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88140
Bug ID: 88140 Summary: [9 Regression] ICE: verify_gimple failed since r266325 Product: gcc Version: 9.0 Status: UNCONFIRMED Keywords: ice-on-valid-code Severity: normal Priority: P3 Component: lto Assignee: unassigned at gcc dot gnu.org Reporter: marxin at gcc dot gnu.org CC: marxin at gcc dot gnu.org Target Milestone: --- Following is causing ICE: $ cat ice.i typedef struct { } a; typedef struct { a *b[0]; } c; void d() { ((c *)0)->b[0] = 0; } $ gcc ice.i -c -flto typedef struct { } a; typedef struct { a *b[0]; } c; void d() { ((c *)0)->b[0] = 0; } ice.i: In function ādā: ice.i:8:1: error: type mismatch in component reference 8 | void d() { ((c *)0)->b[0] = 0; } | ^~~~ struct a *[0:] struct a *[0:] _1->b[0] = 0B; during IPA pass: *free_lang_data ice.i:8:1: internal compiler error: verify_gimple failed 0xd53697 verify_gimple_in_cfg(function*, bool) /home/marxin/Programming/gcc/gcc/tree-cfg.c:5422 0xc2cbef execute_function_todo /home/marxin/Programming/gcc/gcc/passes.c:1977 0xc2dac1 do_per_function /home/marxin/Programming/gcc/gcc/passes.c:1645 0xc2db1e execute_todo /home/marxin/Programming/gcc/gcc/passes.c:2031