From ed6f90f7ffbe1ac86034e376962a575c02becade Mon Sep 17 00:00:00 2001 From: Josef Zlomek Date: Thu, 21 Aug 2003 07:47:43 +0200 Subject: [PATCH] fold-const.c (fold): Fix bug in (A & C) == D where D & ~C != 0 and similarly in (A | C) == D where C... * fold-const.c (fold): Fix bug in (A & C) == D where D & ~C != 0 and similarly in (A | C) == D where C & ~D != 0. From-SVN: r70637 --- gcc/ChangeLog | 5 +++++ 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 + + * 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 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); } -- 2.7.4