(invert_truthvalue): Allow arbitrary BOOLEAN_TYPE arguments.

From-SVN: r5351

diff --git a/gcc/fold-const.c b/gcc/fold-const.c
index 4f0e8b89de3e3c40357fb837b88cec8626370fb6..62ead45de86dee8471298fb9f2e8cf6b6e13a628 100644 (file)
--- a/gcc/fold-const.c
+++ b/gcc/fold-const.c
@@ -2181,12 +2181,14 @@ invert_truthvalue (arg)
                     invert_truthvalue (TREE_OPERAND (arg, 0)));
 
     case BIT_AND_EXPR:
-      if (! integer_onep (TREE_OPERAND (arg, 1)))
-       abort ();
+      if (!integer_onep (TREE_OPERAND (arg, 1)))
+       break;
       return build (EQ_EXPR, type, arg, convert (type, integer_zero_node));
-    }
 
-  abort ();
+    }
+  if (TREE_CODE (TREE_TYPE (arg)) != BOOLEAN_TYPE)
+    abort();
+  return build1 (TRUTH_NOT_EXPR, type, arg);
 }
 
 /* Given a bit-wise operation CODE applied to ARG0 and ARG1, see if both