https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78384
Bug ID: 78384 Summary: [7 Regression] ICE: verify_flow_info failed (error: wrong outgoing edge flags at end of bb 15) 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-alpha20161113 snapshot ICEs when compiling the following reduced snippet at -O3 or -Ofast: void a2 (int wv, int yg, int r9) { while (wv < 1) { int vn = r9 % 0; while (yg < 1) { int lz; for (r9 = 0; r9 < 17; ++r9) { } it: lz = (yg++ >= 0) ? 2 : 0; wv = vn < lz; } } goto it; } % x86_64-unknown-linux-gnu-gcc-7.0.0-alpha20161113 -O3 -w -c mohqqsmg.c mohqqsmg.c: In function 'a2': mohqqsmg.c:2:1: error: wrong outgoing edge flags at end of bb 15 a2 (int wv, int yg, int r9) ^~ mohqqsmg.c:2:1: internal compiler error: verify_flow_info failed