------- Comment #7 from rguenth at gcc dot gnu dot org 2008-11-02 18:23 ------- Actually we can fold C - a == a only for odd C. But more generally a +- b == a to b == 0.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31029
rguenth at gcc dot gnu dot org Sun, 02 Nov 2008 10:25:24 -0800
------- Comment #7 from rguenth at gcc dot gnu dot org 2008-11-02 18:23 ------- Actually we can fold C - a == a only for odd C. But more generally a +- b == a to b == 0.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31029