[Bug tree-optimization/123205] VRP recomputation is too aggressive

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123205

--- Comment #2 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Andrew Macleod <amacleod@gcc.gnu.org>:

https://gcc.gnu.org/g:bf297afaec57df4d5dd8407b50a9ca2cf8de0380

commit r16-6281-gbf297afaec57df4d5dd8407b50a9ca2cf8de0380
Author: Andrew MacLeod <amacleod@redhat.com>
Date:   Thu Dec 18 10:56:44 2025 -0500

    VRP should only recompute known statements.

    GORI should only recompute ranges for range-op statements that are known
    to be safe.   Disable it for builtin_constant_p.

            PR tree-optimization/123205
            gcc/
            * gimple-range-gori.cc (gori_compute::may_recompute_p): Only
            recompute range-op statements.
            * gimple-range-op.cc (gimple_range_op_handler): Default
            recomputation to true.
            (maybe_builtin_call): CFN_BUILT_IN_CONSTANT_P should not be
            recomputable.
            * gimple-range-op.h (recomputable_p): New.
            (recomputable_p): New.

            gcc/testsuite/
            * gcc.dg/pr123205.c: New.