https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316 Bug 85316 depends on bug 116137, which changed state.
Bug 116137 Summary: missing VRP with absu and known not to include INF https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116137 What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED Resolution|--- |INVALID
