aboutsummaryrefslogtreecommitdiff
path: root/gcc/value-range.cc
diff options
context:
space:
mode:
authorAldy Hernandez <aldyh@redhat.com>2023-02-05 08:45:42 +0100
committerAldy Hernandez <aldyh@redhat.com>2023-05-01 08:29:24 +0200
commit612d373005ad239001fd61f32950cb146e1084bc (patch)
tree6e842d4e720ff2482b87922c2e1e18a2c32d95d3 /gcc/value-range.cc
parent2c39e0fabff4de3cedd82beb03b4e1987e273a33 (diff)
downloadgcc-612d373005ad239001fd61f32950cb146e1084bc.zip
gcc-612d373005ad239001fd61f32950cb146e1084bc.tar.gz
gcc-612d373005ad239001fd61f32950cb146e1084bc.tar.bz2
Merge irange::union/intersect into irange_union/intersect.
gcc/ChangeLog: * value-range.cc (irange::irange_union): Rename to... (irange::union_): ...this. (irange::irange_intersect): Rename to... (irange::intersect): ...this. * value-range.h (irange::union_): Delete. (irange::intersect): Delete.
Diffstat (limited to 'gcc/value-range.cc')
-rw-r--r--gcc/value-range.cc11
1 files changed, 7 insertions, 4 deletions
diff --git a/gcc/value-range.cc b/gcc/value-range.cc
index a0e49df..69b214e 100644
--- a/gcc/value-range.cc
+++ b/gcc/value-range.cc
@@ -1246,11 +1246,13 @@ irange::irange_single_pair_union (const irange &r)
return true;
}
-// union_ for multi-ranges.
+// Return TRUE if anything changes.
bool
-irange::irange_union (const irange &r)
+irange::union_ (const vrange &v)
{
+ const irange &r = as_a <irange> (v);
+
if (r.undefined_p ())
return false;
@@ -1415,11 +1417,12 @@ irange::irange_contains_p (const irange &r) const
}
-// Intersect for multi-ranges. Return TRUE if anything changes.
+// Return TRUE if anything changes.
bool
-irange::irange_intersect (const irange &r)
+irange::intersect (const vrange &v)
{
+ const irange &r = as_a <irange> (v);
gcc_checking_assert (undefined_p () || r.undefined_p ()
|| range_compatible_p (type (), r.type ()));