diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2019-06-13 09:46:00 +0000 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@gcc.gnu.org> | 2019-06-13 09:46:00 +0000 |
| commit | fa8ba8b84cf4f1caf581b09d808d6e57b1ff2843 (patch) | |
| tree | 974fdf46b52abb2f7b4de4981329e8f625215904 /gcc/vr-values.c | |
| parent | a7b183bf22c7c57fc0d8851f84db6fff694ba5f8 (diff) | |
| download | gcc-fa8ba8b84cf4f1caf581b09d808d6e57b1ff2843.zip gcc-fa8ba8b84cf4f1caf581b09d808d6e57b1ff2843.tar.gz gcc-fa8ba8b84cf4f1caf581b09d808d6e57b1ff2843.tar.bz2 | |
Revamp value_range::may_contain_p.
From-SVN: r272238
Diffstat (limited to 'gcc/vr-values.c')
| -rw-r--r-- | gcc/vr-values.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/vr-values.c b/gcc/vr-values.c index e151550..3f20c1a 100644 --- a/gcc/vr-values.c +++ b/gcc/vr-values.c @@ -1625,7 +1625,7 @@ compare_range_with_value (enum tree_code comp, value_range *vr, tree val, return NULL_TREE; /* ~[VAL_1, VAL_2] OP VAL is known if VAL_1 <= VAL <= VAL_2. */ - if (value_inside_range (val, vr->min (), vr->max ()) == 1) + if (!vr->may_contain_p (val)) return (comp == NE_EXPR) ? boolean_true_node : boolean_false_node; return NULL_TREE; |