http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54743
--- Comment #4 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-09-29 08:08:32 UTC --- The condition is always to true thus the signed integer overflows and anything can happen, maybe something different for different release series or at the different optimization levels, anything really.