On Mon, Nov 25, 2024 at 07:56:00PM -0500, Andrew MacLeod wrote:
> From 0aee6d112bf4dd9accd7aaa8b48a520a878dedf9 Mon Sep 17 00:00:00 2001
> From: Andrew MacLeod <amacl...@redhat.com>
> Date: Sat, 16 Nov 2024 08:29:30 -0500
> Subject: [PATCH 2/3] Add a range query to inferred ranges.
>
> Provide a range_query for any inferred range processing which wants to
> examine the range of an argument to make decisions. Add some comments.
>
> * gimple-range-cache.cc (ranger_cache::ranger_cache): Create the
> infer oracle using THIS as the range_query.
> * gimple_range_infer.cc (gimple_infer_range::gimple_infer_range):
> Add a range_query to the constructor and use it.
> (infer_range_manager::infer_range_manager): Add a range_query.
> * gimple-range-infer.h (gimple_infer_range): Adjust prototype.
> (infer_range_manager): Add a range_query.
> * value-query.cc (range_query::create_infer_oracle): Add a range_query.
LGTM.
Jakub
