* fold-const.c (fold): Fix bug in (A & C) == D where D & ~C != 0

	and similarly in (A | C) == D where C & ~D != 0.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@70637 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index dc01407..44d5e33 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2003-08-21  Josef Zlomek  <zlomekj@suse.cz>
+
+       * fold-const.c (fold): Fix bug in (A & C) == D where D & ~C != 0
+       and similarly in (A | C) == D where C & ~D != 0.
+
 2003-08-20  Geoffrey Keating  <geoffk@apple.com>
 
        PR 8180

diff --git a/gcc/fold-const.c b/gcc/fold-const.c
index bf6b1f8..3869c06 100644 (file)
--- a/gcc/fold-const.c
+++ b/gcc/fold-const.c
@@ -7397,7 +7397,7 @@ fold (tree expr)
          tree dandnotc = fold (build (BIT_ANDTC_EXPR, TREE_TYPE (arg0),
                                       arg1, TREE_OPERAND (arg0, 1)));
          tree rslt = code == EQ_EXPR ? integer_zero_node : integer_one_node;
-         if (!integer_zerop (dandnotc))
+         if (integer_nonzerop (dandnotc))
            return omit_one_operand (type, rslt, arg0);
        }
 
@@ -7411,7 +7411,7 @@ fold (tree expr)
          tree candnotd = fold (build (BIT_ANDTC_EXPR, TREE_TYPE (arg0),
                                       TREE_OPERAND (arg0, 1), arg1));
          tree rslt = code == EQ_EXPR ? integer_zero_node : integer_one_node;
-         if (!integer_zerop (candnotd))
+         if (integer_nonzerop (candnotd))
            return omit_one_operand (type, rslt, arg0);
        }