aboutsummaryrefslogtreecommitdiff
path: root/gcc/value-range.cc
diff options
context:
space:
mode:
authorAldy Hernandez <aldyh@redhat.com>2022-12-21 13:07:54 +0100
committerAldy Hernandez <aldyh@redhat.com>2023-04-26 13:49:51 +0200
commit5db3d28e04e75233bca0070a0ef92bcf8eebc2f5 (patch)
tree989f173b38ee6dcd664939bf4a14e4c178605435 /gcc/value-range.cc
parentebef388ec3448896ca59c2e6775cdf84bf13c54a (diff)
downloadgcc-5db3d28e04e75233bca0070a0ef92bcf8eebc2f5.zip
gcc-5db3d28e04e75233bca0070a0ef92bcf8eebc2f5.tar.gz
gcc-5db3d28e04e75233bca0070a0ef92bcf8eebc2f5.tar.bz2
Remove range_has_numeric_bounds_p.
gcc/ChangeLog: * value-range.cc (irange::copy_legacy_to_multi_range): Rewrite use of range_has_numeric_bounds_p with irange API. (range_has_numeric_bounds_p): Delete. * value-range.h (range_has_numeric_bounds_p): Delete.
Diffstat (limited to 'gcc/value-range.cc')
-rw-r--r--gcc/value-range.cc12
1 files changed, 3 insertions, 9 deletions
diff --git a/gcc/value-range.cc b/gcc/value-range.cc
index da90981..f7c3e7a 100644
--- a/gcc/value-range.cc
+++ b/gcc/value-range.cc
@@ -979,7 +979,9 @@ irange::copy_legacy_to_multi_range (const irange &src)
set_varying (src.type ());
else
{
- if (range_has_numeric_bounds_p (&src))
+ if (!src.undefined_p ()
+ && TREE_CODE (src.min ()) == INTEGER_CST
+ && TREE_CODE (src.max ()) == INTEGER_CST)
set (src.min (), src.max (), src.kind ());
else
{
@@ -3068,14 +3070,6 @@ ranges_from_anti_range (const value_range *ar,
return !vr0->undefined_p ();
}
-bool
-range_has_numeric_bounds_p (const irange *vr)
-{
- return (!vr->undefined_p ()
- && TREE_CODE (vr->min ()) == INTEGER_CST
- && TREE_CODE (vr->max ()) == INTEGER_CST);
-}
-
/* Return whether VAL is equal to the maximum value of its type.
We can't do a simple equality comparison with TYPE_MAX_VALUE because
C typedefs and Ada subtypes can produce types whose TYPE_MAX_VALUE