https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78327
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2016-11-12
Summary|Improve VRP for ranges of |Improve VRP for ranges for
|signed integers in the |compares which do ranges of
|range [-TYPE_MAX + N, N] |[-TYPE_MAX + N, N]
Ever confirmed|0 |1
--- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Fine but again anti-ranges is not the issue but not understanding that:
(signed char) ((unsigned char) n + 125) < 0
is the same as n < -125 || 2 < n.
