------- Comment #4 from rguenth at gcc dot gnu dot org 2006-04-11 15:25 ------- I mean the middle-end probably does some "interesting" foldings of -2147483647L - 1L as the result -080000000 has the overflow flag set. It doesn't do it with -fwrapv though.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27116