https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105086
--- Comment #6 from Andrew Macleod <amacleod at redhat dot com> --- (In reply to Jakub Jelinek from comment #5) > 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. I think if we wrap more than once, we're probably looking at varying anyway :-) but yes, in theory we could be as precise as we want to be.
