https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79411
Bug ID: 79411
Summary: ICE: SSA corruption (fail_abnormal_edge_coalesce)
Product: gcc
Version: 7.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: gerhard.steinmetz.fort...@t-online.de
Target Milestone: ---
With a modified test pr57026.c at -Os, -O1 or above, down to gcc 4.9 :
$ cat z1.c
typedef struct __jmp_buf_tag { char buf[1024]; } jmp_buf[1];
extern int setjmp (jmp_buf);
extern int bar (unsigned int *);
extern jmp_buf *baz (void);
struct C { int c1; unsigned int c2, c3, c4; };
void
foo (struct C *x, const int *y, unsigned int *z, unsigned int e, unsigned int
g)
{
unsigned int d = 0;
unsigned long f;
setjmp (*baz ());
f = 1 + d;
if ((x->c1 || x->c2) && g && (!e || d >= 8))
d = 16;
else
d = 8;
if ((!x->c3 && !x->c4 || *y == 0) && !e && bar (z))
*z = 1 + f;
}
$ gcc-7-20170205 -O2 -c z1.c
Unable to coalesce ssa_names 12 and 13 which are marked as MUST COALESCE.
d_12(ab) and d_13(ab)
z1.c: In function 'foo':
z1.c:7:1: internal compiler error: SSA corruption
foo (struct C *x, const int *y, unsigned int *z, unsigned int e, unsigned int
g)
^~~
0xd152af fail_abnormal_edge_coalesce
../../gcc/tree-ssa-coalesce.c:1010
0xd152af coalesce_partitions
../../gcc/tree-ssa-coalesce.c:1399
0xd152af coalesce_ssa_name()
../../gcc/tree-ssa-coalesce.c:1889
0xca3d03 remove_ssa_form
../../gcc/tree-outof-ssa.c:948
0xca3d03 rewrite_out_of_ssa(ssaexpand*)
../../gcc/tree-outof-ssa.c:1172
0x7bdf30 execute
../../gcc/cfgexpand.c:6164
