https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79483
--- Comment #4 from Martin Liška <marxin at gcc dot gnu.org> ---
OK, I've got a new test-case that fails with ILS 0.18:
$ cat /tmp/tmpunyat_pa.i
int *a;
int b[];
int c;
void d ()
{
double e[2][3] = {0.0, 0.0, 1.0};
for (int f = 0; f < 2; ++f)
for (int g = 0; g < 6; ++g)
b[0] = a[g] * e[f][2];
c = b[0];
}
$ gcc -fgraphite-identity -O2 /tmp/tmpunyat_pa.i
/tmp/tmpunyat_pa.i:2:5: warning: array ‘b’ assumed to have one element
int b[];
^
/tmp/tmpunyat_pa.i: In function ‘d’:
/tmp/tmpunyat_pa.i:4:6: error: definition in block 29 does not dominate use in
block 19
void d ()
^
for SSA_NAME: pretmp_43 in statement:
prephitmp_33 = PHI <1.0e+0(14), pretmp_43(19)>
PHI argument
pretmp_43
for PHI node
prephitmp_33 = PHI <1.0e+0(14), pretmp_43(19)>
/tmp/tmpunyat_pa.i:4:6: internal compiler error: verify_ssa failed
0xe20ad3 verify_ssa(bool, bool)
../../gcc/tree-ssa.c:1184
0xd6ca25 verify_loop_closed_ssa(bool)
../../gcc/tree-ssa-loop-manip.c:736
0x1307a33 checking_verify_loop_closed_ssa
../../gcc/tree-ssa-loop-manip.h:37
0x1307a33 graphite_verify
../../gcc/graphite-isl-ast-to-gimple.c:82
0x1307a33 graphite_regenerate_ast_isl(scop*)
../../gcc/graphite-isl-ast-to-gimple.c:3040
0x12fe2d7 graphite_transform_loops()
../../gcc/graphite.c:330
0x12fe890 graphite_transforms
../../gcc/graphite.c:362
0x12fe890 execute
../../gcc/graphite.c:439
