http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50066
--- Comment #10 from Andrew Pinski <pinskia at gcc dot gnu.org> 2011-08-13 17:51:33 UTC --- HJL, the code as written in comment #0 is undefined. Does the rewrite in comment #6 work? Also does adding -fwrapv work too?