[Bug tree-optimization/127358] [14/15/16/17 Regression] Two-value select fold introduces signed-overflow UB

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

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |14.5
           Assignee|unassigned at gcc dot gnu.org      |pinskia at gcc dot 
gnu.org
            Summary|Two-value select fold       |[14/15/16/17 Regression]
                   |introduces signed-overflow  |Two-value select fold
                   |UB                          |introduces signed-overflow
                   |                            |UB
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |ASSIGNED
      Known to work|                            |13.1.0, 13.4.0
      Known to fail|                            |14.1.0
   Last reconfirmed|                            |2026-09-12

--- Comment #1 from Drea Pinski <pinskia at gcc dot gnu.org> ---
The subtraction is done in the wrong type.