diff options
Diffstat (limited to 'gcc/value-range.cc')
| -rw-r--r-- | gcc/value-range.cc | 12 |
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 |