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-array-bounds.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-array-bounds.cc')
0 files changed, 0 insertions, 0 deletions