https://gcc.gnu.org/bugzilla/show_bug.cgi?id=19986 Bug 19986 depends on bug 25530, which changed state.
Bug 25530 Summary: (unsigned / 2)*2 is not changed into unsigned &~1 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=25530 What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |RESOLVED Resolution|--- |FIXED