http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53385
--- Comment #7 from Marc Glisse <glisse at gcc dot gnu.org> 2012-05-17 21:34:23 UTC --- Created attachment 27429 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27429 patch I believe you need something like this completely untested patch to avoid undefined behavior without -fwrapv.
