[Bug tree-optimization/128143] [17 Regression] ICE: verify_gimple failed (incompatible types in PHI argument) with __builtin_sub_overflow_p at -O2

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

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

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
   Last reconfirmed|                            |2026-10-24
     Ever confirmed|0                           |1
           Keywords|                            |ice-on-valid-code
   Target Milestone|---                         |17.0
             Status|UNCONFIRMED                 |ASSIGNED

--- Comment #1 from Drea Pinski <pinskia at gcc dot gnu.org> ---
Mine. Will take a look later today.

I thought there was a types check for factoring but maybe I accidentally
removed it.