https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92162
--- Comment #2 from David Binderman <dcb314 at hotmail dot com> --- Another test case seems to be: double *a; b() { int c, d = 1; for (; c < b; c++) for (; c < b; c++) if (a[c]) d = 0; if (d) e(); } -O3 required for this case. Bug seems to start sometime between revision 277050 and 277010.