https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316 Bug 85316 depends on bug 117760, which changed state.
Bug 117760 Summary: `a != b` implies that a or b is also non-zero https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117760 What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED
