http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45884
--- Comment #2 from Anders Jagd <anders_jagd at yahoo dot com> 2010-10-04 18:12:16 UTC --- (In reply to comment #1) > Signed integer overflow is undefined so what GCC is doing is correct. Use > -fwarpv if you want it to be defined to wrapping. I acknowledge that ISO/IEC 9899 defines integer overflow to be undefined. What GCC doing is thus "not incorrect". However, would this maybe be a bit too aggressive optimization at -O2 ?