https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316 Bug 85316 depends on bug 127485, which changed state.
Bug 127485 Summary: VRP misses that if the difference between two values is non-zero then the two values are different https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127485 What |Removed |Added ---------------------------------------------------------------------------- Status|RESOLVED |NEW Resolution|FIXED |---
