https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90437
Andrew Pinski changed:
What|Removed |Added
Resolution|--- |FIXED
Target Milestone|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90437
--- Comment #3 from Richard Biener ---
(In reply to JunMa from comment #2)
> (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,
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90437
JunMa changed:
What|Removed |Added
CC||JunMa at linux dot alibaba.com
--- Comment #2
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90437
Richard Biener changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last reconfirmed|