diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2022-11-21 11:19:34 +0100 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@redhat.com> | 2023-04-26 10:28:12 +0200 |
| commit | 983ad30d42c810e4de60ae5ba468334ef8aa14d2 (patch) | |
| tree | 1e96e40b1d64183b80d1f3d0ade4ca96357ecc46 /gcc/value-range.cc | |
| parent | bfd9415761dabcfa3ddef2c78c169ac82702cd00 (diff) | |
| download | gcc-983ad30d42c810e4de60ae5ba468334ef8aa14d2.zip gcc-983ad30d42c810e4de60ae5ba468334ef8aa14d2.tar.gz gcc-983ad30d42c810e4de60ae5ba468334ef8aa14d2.tar.bz2 | |
Remove irange::may_contain_p.
The deprecated irange::may_contain_p method differed from contains_p
in that it could handle symbolics, which no longer exist in VRP.
gcc/ChangeLog:
* value-range.cc (irange::may_contain_p): Remove.
* value-range.h (range_includes_zero_p): Rewrite may_contain_p
usage with contains_p.
* vr-values.cc (compare_range_with_value): Same.
Diffstat (limited to 'gcc/value-range.cc')
| -rw-r--r-- | gcc/value-range.cc | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/gcc/value-range.cc b/gcc/value-range.cc index 26acba7..6c61bce 100644 --- a/gcc/value-range.cc +++ b/gcc/value-range.cc @@ -1475,14 +1475,6 @@ irange::value_inside_range (tree val) const return !!cmp2; } -/* Return TRUE if it is possible that range contains VAL. */ - -bool -irange::may_contain_p (tree val) const -{ - return value_inside_range (val) != 0; -} - /* Return TRUE if range contains INTEGER_CST. */ /* Return 1 if VAL is inside value range. 0 if VAL is not inside value range. |