https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126010 Bug 126010 depends on bug 126745, which changed state.
Bug 126745 Summary: a/b -> 1 if it is known that `a==b` in VRP without DOM https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126745 What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED Resolution|--- |FIXED
