diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2022-01-21 13:04:20 +0100 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@redhat.com> | 2022-02-03 14:06:45 +0100 |
| commit | 83ad3a96eb8a43611afd5733aa0a4feb6373b5f0 (patch) | |
| tree | 1789c09c63ee0d07a1ac8a49777bd6bd34ab4113 /gcc/gimple-range-path.cc | |
| parent | 635504510a9410844991c68880f2e7352cacfd86 (diff) | |
| download | gcc-83ad3a96eb8a43611afd5733aa0a4feb6373b5f0.zip gcc-83ad3a96eb8a43611afd5733aa0a4feb6373b5f0.tar.gz gcc-83ad3a96eb8a43611afd5733aa0a4feb6373b5f0.tar.bz2 | |
Assert that backedges are available in path solver.
gcc/ChangeLog:
* cfganal.cc (verify_marked_backedges): New.
* cfganal.h (verify_marked_backedges): New.
* gimple-range-path.cc (path_range_query::path_range_query):
Verify freshness of back edges.
* tree-ssa-loop-ch.cc (ch_base::copy_headers): Call
mark_dfs_back_edges.
* tree-ssa-threadbackward.cc (back_threader::back_threader): Move
path_range_query construction after backedges have been
updated.
Diffstat (limited to 'gcc/gimple-range-path.cc')
| -rw-r--r-- | gcc/gimple-range-path.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/gimple-range-path.cc b/gcc/gimple-range-path.cc index 3ee4989..3bf9bd1 100644 --- a/gcc/gimple-range-path.cc +++ b/gcc/gimple-range-path.cc @@ -48,6 +48,9 @@ path_range_query::path_range_query (bool resolve, gimple_ranger *ranger) m_ranger = ranger; m_oracle = new path_oracle (m_ranger->oracle ()); + + if (m_resolve && flag_checking) + verify_marked_backedges (cfun); } path_range_query::~path_range_query () |