https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316 Bug 85316 depends on bug 115036, which changed state.
Bug 115036 Summary: division is not shortened based on value range https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115036 What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |DUPLICATE
