From: Josef Zlomek <zlomekj@suse.cz>
Date: Thu, 21 Aug 2003 05:47:43 +0000 (+0200)
Subject: fold-const.c (fold): Fix bug in (A & C) == D where D & ~C != 0 and similarly in ... 
X-Git-Tag: releases/gcc-3.4.0~4152
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ed6f90f7ffbe1ac86034e376962a575c02becade;p=thirdparty%2Fgcc.git

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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index dc01407d87de..44d5e33d0634 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 bf6b1f8e9f15..3869c0612a37 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);
 	}