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
