https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105086
--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Even wrapping multiple times as long as it wraps finite number of times should be possible to handle, no? for (unsigned int i = ~0U; i != 2; i -= 7) ...; wraps 5 times and has 3681400539 iterations.