https://gcc.gnu.org/bugzilla/show_bug.cgi?id=19987 Bug 19987 depends on bug 105983, which changed state.
Bug 105983 Summary: Failure to optimize (b != 0) && (a >= b) as well as the same pattern with binary and https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105983 What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |RESOLVED Resolution|--- |FIXED
