http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56899
--- Comment #8 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-04-10 08:24:46 UTC --- That said, removing that hunk completely would remove it even for the case where the type has defined overflow, shouldn't we remove it just for undefined overflow (or, replace the addition/subtraction with undefined one)?