fold-const.c (fold_truthop): Make the field reference unsigned when converting a...

h
        * fold-const.c (fold_truthop): Make the field reference unsigned
        when converting a single bit compare.

From-SVN: r27202

diff --git a/gcc/fold-const.c b/gcc/fold-const.c
index b67ff82868dfebc643961f5269c53cc32a757343..7d63ea84842246ba97f4c889d6acca74124abcd1 100644 (file)
--- a/gcc/fold-const.c
+++ b/gcc/fold-const.c
@@ -3806,11 +3806,10 @@ fold_truthop (code, truth_type, lhs, rhs)
     {
       if (l_const && integer_zerop (l_const) && integer_pow2p (ll_mask))
        {
-         /* Do not sign extend the constant here.  The left operand
-            is either always unsigned or there is a BIT_AND_EXPR that
-            masks out the extension bits.  */
-         if (! (ll_unsignedp || ll_and_mask != 0))
-           abort ();
+         /* Make the left operand unsigned, since we are only interested
+            in the value of one bit.  Otherwise we are doing the wrong
+            thing below.  */
+         ll_unsignedp = 1;
          l_const = ll_mask;
        }
       else
@@ -3822,8 +3821,7 @@ fold_truthop (code, truth_type, lhs, rhs)
     {
       if (r_const && integer_zerop (r_const) && integer_pow2p (rl_mask))
        {
-         if (! (rl_unsignedp || rl_and_mask != 0))
-           abort ();
+         rl_unsignedp = 1;
          r_const = rl_mask;
        }
       else