Now that all dependencies of array_bounds_checker take a range_query, we
can sever the relationship with vr_values.  Changing this will allow us
to use the array_bounds_checker with VRP, evrp, or the ranger.

Tested on x86-64 Linux.

Pushed.

gcc/ChangeLog:

        * gimple-array-bounds.h (class array_bounds_checker): Change
        ranges type to range_query.
---
 gcc/gimple-array-bounds.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gcc/gimple-array-bounds.h b/gcc/gimple-array-bounds.h
index 1bfa2d45870..fa64262777d 100644
--- a/gcc/gimple-array-bounds.h
+++ b/gcc/gimple-array-bounds.h
@@ -25,7 +25,7 @@ class array_bounds_checker
   friend class check_array_bounds_dom_walker;
 
 public:
-  array_bounds_checker (struct function *fun, class vr_values *v)
+  array_bounds_checker (struct function *fun, range_query *v)
     : fun (fun), ranges (v) { }
   void check ();
 
@@ -37,7 +37,7 @@ private:
   const value_range *get_value_range (const_tree op);
 
   struct function *fun;
-  class vr_values *ranges;
+  range_query *ranges;
 };
 
 #endif // GCC_GIMPLE_ARRAY_BOUNDS_H
-- 
2.31.1

Reply via email to