[Bug tree-optimization/125713] [14/15/16/17 Regression] wrong code at -O1 on x86_64-linux-gnu

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125713

Drea Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|wrong code at -O1 on        |[14/15/16/17 Regression]
                   |x86_64-linux-gnu            |wrong code at -O1 on
                   |                            |x86_64-linux-gnu
   Last reconfirmed|                            |2026-06-10
             Status|UNCONFIRMED                 |NEW
           Keywords|                            |needs-bisection
      Known to fail|                            |14.1.0
     Ever confirmed|0                           |1
   Target Milestone|---                         |14.4
      Known to work|                            |13.2.0

--- Comment #2 from Drea Pinski <pinskia at gcc dot gnu.org> ---
Confirmed. Adding -fwrapv makes it work. Or adding -fno-ivopts makes it works.

This smells like an introduction of undefined overflow.