aboutsummaryrefslogtreecommitdiff
path: root/gcc/tree-vrp.cc
diff options
context:
space:
mode:
authorAndrew MacLeod <amacleod@redhat.com>2024-09-06 11:42:14 -0400
committerAndrew MacLeod <amacleod@redhat.com>2024-09-07 13:52:46 -0400
commit506417dbc8b1cbc1133a5322572cf94b671aadf6 (patch)
tree640e91e293b815be86c1269ce927543e951eb971 /gcc/tree-vrp.cc
parent6749c69ae143ed808e0d0aa9097f0c9b7c6a785d (diff)
downloadgcc-506417dbc8b1cbc1133a5322572cf94b671aadf6.zip
gcc-506417dbc8b1cbc1133a5322572cf94b671aadf6.tar.gz
gcc-506417dbc8b1cbc1133a5322572cf94b671aadf6.tar.bz2
Before running fast VRP, make sure all edges have EXECUTABLE set.
PR tree-optimization/116588 gcc/ * tree-vrp.cc (execute_fast_vrp): Start with all edges executable. gcc/testsuite/ * gcc.dg/pr116588.c: New.
Diffstat (limited to 'gcc/tree-vrp.cc')
-rw-r--r--gcc/tree-vrp.cc1
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/tree-vrp.cc b/gcc/tree-vrp.cc
index 23946c5..a19f8ec 100644
--- a/gcc/tree-vrp.cc
+++ b/gcc/tree-vrp.cc
@@ -1258,6 +1258,7 @@ execute_fast_vrp (struct function *fun, bool final_p)
fvrp_folder folder (&dr, final_p);
gcc_checking_assert (!fun->x_range_query);
+ set_all_edges_as_executable (fun);
fun->x_range_query = &dr;
// Create a relation oracle without transitives.
get_range_query (fun)->create_relation_oracle (false);