https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114052
--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> --- So in principle we'd need to adjust the bound by one only instead of not using range info at all as the increment is executed in each loop iteration but the loop may "stop" before it is reached. We fail to "thread" the endless loop iteration check btw. I'm testing a patch.
