https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78354
Martin Sebor <msebor at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution|--- |INVALID
--- Comment #1 from Martin Sebor <msebor at gcc dot gnu.org> ---
Actually, what I suggested isn't possible because unsigned wraparound
effectively resets the lower bound. In the example in comment #0, if the value
of x were 65536, for instance, y's value would be 0 and the y < 123 condition
would hold, and so retaining the lower bound wouldn't make sense.
