------- 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