https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79483
Bug ID: 79483 Summary: [7 Regression] [graphite] ICE: verify_ssa failed (error: definition in block 31 does not dominate use in block 28) 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: --- At least gcc-7.0.0-alpha20170205 and gcc-7.0.0-alpha20170212 snapshots ICE when compiling the following snippet w/ -O2 -floop-nest-optimize: