path solver: Default to global range if nothing found.
authorAldy Hernandez <aldyh@redhat.com>
Mon, 15 Nov 2021 08:56:48 +0000 (09:56 +0100)
committerAldy Hernandez <aldyh@redhat.com>
Mon, 15 Nov 2021 12:16:56 +0000 (13:16 +0100)
commit540d92ae9b629eb40dc45a5d76b0f0d0222bf4e0
tree7424fd513b5bc2584bf3c64f947e6307adb91542
parent220bd61874cf114667b44f9ded76ed0639eb278b
path solver: Default to global range if nothing found.

This has been a long time coming, but we weren't able to make the
change because of some unrelated regressions.

Tested on x86-64 & ppc64le Linux.

gcc/ChangeLog:

* gimple-range-path.cc (path_range_query::internal_range_of_expr):
Default to global range if nothing found.

gcc/testsuite/ChangeLog:

* g++.dg/tree-ssa/pr31146-2.C: Add -fno-thread-jumps.
gcc/gimple-range-path.cc
gcc/testsuite/g++.dg/tree-ssa/pr31146-2.C