[Bug tree-optimization/125790] [17 Regression] Wrong code for `(~x) >> (unsigned int)x`

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

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

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
            Summary|[17 regression] Wrong code  |[17 Regression] Wrong code
                   |for `(~x) >> (unsigned      |for `(~x) >> (unsigned
                   |int)x`                      |int)x`
             Status|NEW                         |ASSIGNED
           See Also|                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=125707
   Last reconfirmed|2026-06-14 00:00:00         |

--- Comment #1 from Drea Pinski <pinskia at gcc dot gnu.org> ---
Oh I see what was missed.
So
https://gcc.gnu.org/cgit/gcc/commit/?id=b3ade4e315e5bab56eced1e22eceabbf1a8f15c4
missed is the convert can't be a truncating convert.

So mine.