https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90437
JunMa <JunMa at linux dot alibaba.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |JunMa at linux dot alibaba.com
--- Comment #2 from JunMa <JunMa at linux dot alibaba.com> ---
(In reply to Richard Biener from comment #1)
> VRP obviously only sees a + b in [0, 20] and [0, 20] < [0, 10] as unknown.
we do have pattern x+y < y in match.pd, but it only worked with
TYPE_OVERFLOW_UNDEFINED.
I'm not sure wether we can use range info in match.pd.
