https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71031
Bug ID: 71031 Summary: [7 Regression] ICE in extract_range_from_binary_expr_1, at tree-vrp.c:2535 w/ -Os 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-alpha20160508 snapshot ICEs when compiling the following reduced testcase w/ -Os: int zj; int **yr; void nn (void) { unsigned int od = 4; for (;;) { int lk; for (lk = 0; lk < 2; ++lk) { static int cm; zj = 0; if (od == 0) return; ++od; for (cm = 0; cm < 2; ++cm) { --od; **yr = 0; } } } } % gcc-7.0.0-alpha20160508 -c -Os z5y81wfl.c z5y81wfl.c: In function 'nn': z5y81wfl.c:5:1: internal compiler error: in extract_range_from_binary_expr_1, at tree-vrp.c:2535 nn (void) ^~