[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 #4 from Qi Feng <ffengqi at gcc dot gnu.org> ---
The fourth to the last should be:

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

sorry for the typo.