On Mon, Nov 25, 2024 at 07:56:09PM -0500, Andrew MacLeod wrote:
> From 9434efb95a481ea57db8d47919d05cbe17b8bcba Mon Sep 17 00:00:00 2001
> From: Andrew MacLeod <amacl...@redhat.com>
> Date: Sat, 23 Nov 2024 14:05:54 -0500
> Subject: [PATCH 3/3] Only add inferred ranges if they change the value.
>
> Do not add an inferred range if it is already incorprated in the
> current range of an SSA_NAME.
>
> PR tree-optimization/117467
> * gimple-range-infer.cc (infer_range_manager::add_ranges): Check
> range_of_expr to see if the inferred range is needed.
LGTM.
Jakub
