https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106420
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution|--- |INVALID
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
This can only be done for unsigned types as if either one was negative, then
the check becames invalid.
It is already done since GCC 11 (most likely the patch which fixed PR 95731).
So this is invalid.
