[Bug tree-optimization/100802] VRP fails to fold comparison using known value orders

[fxue at os dot amperecomputing.com via Gcc-bugs]

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

Feng Xue  changed:

   What|Removed |Added

 Status|RESOLVED|VERIFIED

--- Comment #2 from Feng Xue  ---
Verified.

[Bug tree-optimization/100802] VRP fails to fold comparison using known value orders

[amacleod at redhat dot com via Gcc-bugs]

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

Andrew Macleod  changed:

   What|Removed |Added

 Resolution|--- |FIXED
 Status|UNCONFIRMED |RESOLVED

--- Comment #1 from Andrew Macleod  ---
This was fixed by the relation oracle a while ago.