--- Comment #3 from rguenth at gcc dot gnu dot org 2010-02-09 10:10 ---
Without -fwrapv I get
./cc1 -quiet -O2 -Wall t3.i
t3.i: In function 'foo':
t3.i:8:5: warning: assuming signed overflow does not occur when assuming that
(X + c) X is always false
and with -fwrapv and the fix for
--- Comment #1 from zsojka at seznam dot cz 2010-02-08 21:35 ---
Created an attachment (id=19825)
-- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19825action=view)
reduced testcase
While this may look artificial, it was reduced from gcc/fold-const.c
--
--- Comment #2 from zsojka at seznam dot cz 2010-02-08 21:37 ---
Created an attachment (id=19826)
-- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19826action=view)
original, unreduced testcase
Preprocessed gcc/fold-const.c - this problem blocks bootstrap with
BOOT_CFLAGS=-O2 -fwrapv
