https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53947 Bug 53947 depends on bug 119103, which changed state.
Bug 119103 Summary: shift not demotated when shift amount range is known https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119103 What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |RESOLVED Resolution|--- |FIXED