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