https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127735
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever confirmed|0 |1
Last reconfirmed| |2026-10-05
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed. Intermediate step that might ease things but in itself is not
profitable:
<=> 3*a < 6*b + 3
<=> 3*a < 3*(2*b + 1)
