diff options
| author | phython <phython@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-11-20 05:33:00 +0000 |
|---|---|---|
| committer | phython <phython@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-11-20 05:33:00 +0000 |
| commit | b200b1468b2134e3ce3ec27f1730f8dd371352b4 (patch) | |
| tree | cfcf86458b6b69a2ef90121c606ef5e277690bd4 /gcc/tree-vrp.c | |
| parent | 84807f15f96b01080f4cbb5d20d2e452cedea935 (diff) | |
| download | gcc-b200b1468b2134e3ce3ec27f1730f8dd371352b4.tar.gz | |
2005-11-19 James A. Morrison <phython@gcc.gnu.org>
* tree-vrp.c (compare_ranges): Return false for EQ_EXPR if VR0 is less
than VR1 or vice-versa.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@107243 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index f88b23e1aeb..af632e6f6e2 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; } |