https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66581
Bug ID: 66581
Summary: [CHKP] internal compiler error: SSA corruption
Product: gcc
Version: 6.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: middle-end
Assignee: unassigned at gcc dot gnu.org
Reporter: ienkovich at gcc dot gnu.org
Target Milestone: ---
>cat test.i
void *a;
int b;
void
fn1 (void)
{
void *c = &&l_nop;
l_nop:
for (; b;)
;
int *d = c;
c = fn1;
*d = 1;
goto *a;
}
>gcc -fcheck-pointer-bounds -mmpx test.i
Unable to coalesce ssa_names 11 and 13 which are marked as MUST COALESCE.
__bound_tmp.3_11(ab) and __bound_tmp.3_13(ab)
test.i: In function 'fn1.chkp':
test.i:5:1: internal compiler error: SSA corruption
fn1 (void)
^
0xf00ce1 fail_abnormal_edge_coalesce
/gnumnt/msticlxl7_users/ienkovic/issues/mpx/gcc/gcc/tree-ssa-coalesce.c:918
0xf01dc5 coalesce_partitions
/gnumnt/msticlxl7_users/ienkovic/issues/mpx/gcc/gcc/tree-ssa-coalesce.c:1221
0xf024af coalesce_ssa_name()
/gnumnt/msticlxl7_users/ienkovic/issues/mpx/gcc/gcc/tree-ssa-coalesce.c:1366
0xe83f86 remove_ssa_form
/gnumnt/msticlxl7_users/ienkovic/issues/mpx/gcc/gcc/tree-outof-ssa.c:1003
0xe848c9 rewrite_out_of_ssa(ssaexpand*)
/gnumnt/msticlxl7_users/ienkovic/issues/mpx/gcc/gcc/tree-outof-ssa.c:1237
0x851361 execute
/gnumnt/msticlxl7_users/ienkovic/issues/mpx/gcc/gcc/cfgexpand.c:5872
Fails on GCC 6 and GCC 5.1
