projects / test_jj.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6355045) | patch
Assert that backedges are available in path solver.
authorAldy Hernandez <aldyh@redhat.com>
Fri, 21 Jan 2022 12:04:20 +0000 (13:04 +0100)
committerAldy Hernandez <aldyh@redhat.com>
Thu, 3 Feb 2022 13:06:45 +0000 (14:06 +0100)
commit83ad3a96eb8a43611afd5733aa0a4feb6373b5f0
tree1789c09c63ee0d07a1ac8a49777bd6bd34ab4113tree | snapshot
parent635504510a9410844991c68880f2e7352cacfd86commit | diff
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.
gcc/cfganal.cc diff | blob | history
gcc/cfganal.h diff | blob | history
gcc/gimple-range-path.cc diff | blob | history
gcc/tree-ssa-loop-ch.cc diff | blob | history
gcc/tree-ssa-threadbackward.cc diff | blob | history