diff options
author | Andrew MacLeod <amacleod@redhat.com> | 2024-09-06 11:42:14 -0400 |
---|---|---|
committer | Andrew MacLeod <amacleod@redhat.com> | 2024-09-07 13:52:46 -0400 |
commit | 506417dbc8b1cbc1133a5322572cf94b671aadf6 (patch) | |
tree | 640e91e293b815be86c1269ce927543e951eb971 /gcc/tree-vrp.cc | |
parent | 6749c69ae143ed808e0d0aa9097f0c9b7c6a785d (diff) | |
download | gcc-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.cc | 1 |
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); |