https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71357
Bug ID: 71357 Summary: [7 Regression] [graphite] ICE: verify_ssa failed (error: definition in block follows the use for SSA_NAME) w/ -O2 -floop-nest-optimize Product: gcc Version: 7.0 Status: UNCONFIRMED Keywords: ice-on-valid-code Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: asolokha at gmx dot com Target Milestone: --- gcc-7.0.0-alpha20160529 snapshot fails to compile the following reduced testcase w/ -O2 (and above) -floop-nest-optimize: int aj; int xt[3]; void qy (void) { int e7; for (e7 = 0; e7 < 2; ++e7) { int bs; for (bs = 1; bs < 4; ++bs) for (aj = 0; aj < 2; ++aj) xt[e7 + e7] = xt[bs]; } } % gcc-7.0.0-alpha20160529 -c -O2 -floop-nest-optimize fj4zwaxo.c fj4zwaxo.c: In function 'qy': fj4zwaxo.c:5:1: error: definition in block 30 follows the use qy (void) ^~ for SSA_NAME: _42 in statement: _43 = _42 - graphite_IV.8_9; fj4zwaxo.c:5:1: internal compiler error: verify_ssa failed