OSDN Git Service

* tree-vrp.c (extract_range_from_binary_expr): Remove handling of
authorlaw <law@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 13 Feb 2006 23:08:00 +0000 (23:08 +0000)
committerlaw <law@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 13 Feb 2006 23:08:00 +0000 (23:08 +0000)
TRUTH_XOR_EPR.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@110938 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/ChangeLog
gcc/tree-vrp.c

index 46d5b68..2498b57 100644 (file)
@@ -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
index 8734f51..a0950fe 100644 (file)
@@ -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.  */