]> git.ipfire.org Git - thirdparty/gcc.git/commit
VRP should only recompute known statements.
authorAndrew MacLeod <amacleod@redhat.com>
Thu, 18 Dec 2025 15:56:44 +0000 (10:56 -0500)
committerAndrew MacLeod <amacleod@redhat.com>
Fri, 19 Dec 2025 14:49:52 +0000 (09:49 -0500)
commitbf297afaec57df4d5dd8407b50a9ca2cf8de0380
treef2b69f461bab52e1701af0ae9c60940016284d9d
parent72430fff7b40c9c1a156d36b3d734ebb2e850166
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.
gcc/gimple-range-gori.cc
gcc/gimple-range-op.cc
gcc/gimple-range-op.h
gcc/testsuite/gcc.dg/pr123205.c [new file with mode: 0644]