[Bug tree-optimization/126459] [17 Regression] Wrong code with x != CST1 ? x + CST2 : CST3 fold due to overflow since r17-126

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

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |pinskia at gcc dot 
gnu.org
             Status|UNCONFIRMED                 |ASSIGNED
     Ever confirmed|0                           |1
            Summary|[17 Regression] Wrong code  |[17 Regression] Wrong code
                   |with x != CST1 ? x + CST2 : |with x != CST1 ? x + CST2 :
                   |CST3 fold                   |CST3 fold due to overflow
                   |                            |since r17-126
   Last reconfirmed|                            |2026-07-29

--- Comment #1 from Drea Pinski <pinskia at gcc dot gnu.org> ---
A check for overflow is needed ...