https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316 Bug 85316 depends on bug 115555, which changed state.
Bug 115555 Summary: [Ranger] deduce 'a >= 0' from 'b << a' https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115555 What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED Resolution|--- |DUPLICATE