diff options
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/fold-const.c | 4 |
2 files changed, 7 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index dc01407..44d5e33 100644 --- 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 --- 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); } |