https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316 Bug 85316 depends on bug 126750, which changed state.
Bug 126750 Summary: a & b (and a | b) -> a (or b) if a == b is known without dom https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126750 What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED Resolution|--- |FIXED
