https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122104
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed| |2025-10-01
CC| |jakub at gcc dot gnu.org
Status|UNCONFIRMED |NEW
Ever confirmed|0 |1
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed. It's match_arith_overflow short-cutting the compare but not
removing affectes flow sensitive info (CFG cleanup does not do this for you and
I think that is correct - you changed the semantics and CFG cleanup doesn't
know).
This code was added by Jakub.
