http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50066
--- Comment #7 from joseph at codesourcery dot com <joseph at codesourcery dot com> 2011-08-13 15:31:05 UTC --- (The original code is of course valid if you use -fwrapv, so hopefully the problem optimization does not occur in that case.)