https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316 Bug 85316 depends on bug 126748, which changed state.
Bug 126748 Summary: a/b -> 0 if it is known that a < b (for non-negative) https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126748 What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED Resolution|--- |FIXED
