https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114052
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Summary|[12/13/14/15 Regression] |[12/13/14 Regression] Wrong |Wrong code at -O2 for |code at -O2 for |well-defined infinite loop |well-defined infinite loop |since r8-5245 |since r8-5245 Known to work| |15.0 --- Comment #16 from Richard Biener <rguenth at gcc dot gnu.org> --- Fixed on trunk sofar. I think the rest is behaving OK, some of the earlier analysis was misguided.