[Bug middle-end/88784] Middle end is missing some optimizations about unsigned

[ffengqi at gcc dot gnu.org]

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

--- Comment #5 from Qi Feng <ffengqi at gcc dot gnu.org> ---
(In reply to Qi Feng from comment #4)
> The fourth to the last should be:
> 
>   x <  y   ||   x != INT_MAX     -->   x != UINT_MAX
> 
> sorry for the typo.

   x <  y   ||   x != INT_MAX     -->   x != INT_MAX

typo again...