[Bug tree-optimization/118915] [12/13/14/15 Regression] Miscompile at -O2

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

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|Miscompile at -O2           |[12/13/14/15 Regression]
                   |                            |Miscompile at -O2
   Last reconfirmed|                            |2025-02-18
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1
           Keywords|                            |wrong-code
          Component|c                           |tree-optimization
   Target Milestone|---                         |15.0
             Target|                            |x86_64 aarch64

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
```
  _16 = (unsigned int) a.0_1;
  if (_16 <= 4294967261)
    goto <bb 5>; [50.00%]
  else
    goto <bb 3>; [50.00%]

  <bb 3> [local count: 536870912]:
  _19 = _16 + 34;
  _20 = (int) _19;
  _25 = -16374563074 >> _20;
```
That is definitely undefined.