tree-vrp.c (extract_range_from_binary_expr): Remove handling of TRUTH_XOR_EPR.

	* tree-vrp.c (extract_range_from_binary_expr): Remove handling of
	TRUTH_XOR_EPR.

From-SVN: r110938

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 46d5b68..2498b57 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2006-02-13  Jeff Law  <law@redhat.com>
+
+       * tree-vrp.c (extract_range_from_binary_expr): Remove handling of
+       TRUTH_XOR_EPR.
+
 2006-02-13  Jakub Jelinek  <jakub@redhat.com>
 
        PR middle-end/26092

diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c
index 8734f51..a0950fe 100644 (file)
--- a/gcc/tree-vrp.c
+++ b/gcc/tree-vrp.c
@@ -1278,8 +1278,7 @@ extract_range_from_binary_expr (value_range_t *vr, tree expr)
       && code != TRUTH_ANDIF_EXPR
       && code != TRUTH_ORIF_EXPR
       && code != TRUTH_AND_EXPR
-      && code != TRUTH_OR_EXPR
-      && code != TRUTH_XOR_EXPR)
+      && code != TRUTH_OR_EXPR)
     {
       set_value_range_to_varying (vr);
       return;
@@ -1365,8 +1364,7 @@ extract_range_from_binary_expr (value_range_t *vr, tree expr)
   if (code == TRUTH_ANDIF_EXPR
       || code == TRUTH_ORIF_EXPR
       || code == TRUTH_AND_EXPR
-      || code == TRUTH_OR_EXPR
-      || code == TRUTH_XOR_EXPR)
+      || code == TRUTH_OR_EXPR)
     {
       /* If one of the operands is zero, we know that the whole
         expression evaluates zero.  */