diff options
author | Aldy Hernandez <aldyh@redhat.com> | 2022-11-19 17:44:02 +0100 |
---|---|---|
committer | Aldy Hernandez <aldyh@redhat.com> | 2022-11-24 07:38:27 +0100 |
commit | a3f7deefd45a018ffc56ad3fb944a9f715b50901 (patch) | |
tree | 1f0d95997e23558cfc98b49875d0a2de47990484 /gcc/tree-vrp.cc | |
parent | ca0be1bbedd6379d2645917bfff752486599b2a8 (diff) | |
download | gcc-a3f7deefd45a018ffc56ad3fb944a9f715b50901.zip gcc-a3f7deefd45a018ffc56ad3fb944a9f715b50901.tar.gz gcc-a3f7deefd45a018ffc56ad3fb944a9f715b50901.tar.bz2 |
Remove value_range_equiv.
With legacy VRP gone, value_range_equiv serves no purpose and any uses
of it can just be replaced with value_range.
gcc/ChangeLog:
* Makefile.in: Remove value-range-equiv.o
* gimple-array-bounds.cc
(array_bounds_checker::array_bounds_checker): Remove comment.
* tree-vrp.cc (supported_types_p): Remove use of value_range_equiv.
* value-query.cc (class equiv_allocator): Same.
(range_query::allocate_value_range_equiv): Remove.
(range_query::free_value_range_equiv): Remove.
(range_query::get_value_range): Remove.
* value-query.h (class range_query): Remove get_value_range.
Remove allocate_value_range_equiv.
Remove free_value_range_equiv.
* vr-values.cc (compare_ranges): Replace value_range_equiv with
value_range.
(simplify_using_ranges::get_vr_for_comparison): Same.
(simplify_using_ranges::compare_names): Same.
* vr-values.h: Remove value_range_equiv references.
* value-range-equiv.cc: Removed.
* value-range-equiv.h: Removed.
Diffstat (limited to 'gcc/tree-vrp.cc')
-rw-r--r-- | gcc/tree-vrp.cc | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/gcc/tree-vrp.cc b/gcc/tree-vrp.cc index 8697808..df2f1ea 100644 --- a/gcc/tree-vrp.cc +++ b/gcc/tree-vrp.cc @@ -582,10 +582,9 @@ compare_values (tree val1, tree val2) static bool supported_types_p (value_range *vr, tree type0, - tree type1 = NULL) + tree = NULL) { - if (!value_range_equiv::supports_p (type0) - || (type1 && !value_range_equiv::supports_p (type1))) + if (!value_range::supports_p (type0)) { vr->set_varying (type0); return false; |