From 7ab1122a479d64423c6ad069793f41666f9fd3aa Mon Sep 17 00:00:00 2001 From: "James A. Morrison" Date: Sun, 20 Nov 2005 05:33:00 +0000 Subject: tree-vrp.c (compare_ranges): Return false for EQ_EXPR if VR0 is less than VR1 or vice-versa. 2005-11-19 James A. Morrison * tree-vrp.c (compare_ranges): Return false for EQ_EXPR if VR0 is less than VR1 or vice-versa. From-SVN: r107243 --- gcc/tree-vrp.c | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'gcc/tree-vrp.c') diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index f88b23e..af632e6 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -1878,6 +1878,10 @@ compare_ranges (enum tree_code comp, value_range_t *vr0, value_range_t *vr1) else if (cmp_min != -2 && cmp_max != -2) return boolean_false_node; } + /* If [V0_MIN, V1_MAX] < [V1_MIN, V1_MAX] then V0 != V1. */ + else if (compare_values (vr0->min, vr1->max) == 1 + || compare_values (vr1->min, vr0->max) == 1) + return boolean_false_node; return NULL_TREE; } -- cgit v1.1