------- Comment #5 from rguenth at gcc dot gnu dot org 2008-04-19 12:28 ------- Actually this is a false warning from strict-overflow. As the testcase is supposed to test for the transformation it doesn't matter if -O or -O2 is used though.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35977
