diff options
| author | Richard Biener <rguenther@suse.de> | 2021-06-15 10:27:47 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2021-06-15 10:29:27 +0200 |
| commit | b10f895f41dbe98f2a7d448b91d083a68792a6a0 (patch) | |
| tree | 999b02414fed0c106ee9b2e0c7e936b906ba0bdc /gcc/tree-ssa-threadupdate.c | |
| parent | 3fe54645374b1d7992555e97d906a5ba281d3c54 (diff) | |
| download | gcc-b10f895f41dbe98f2a7d448b91d083a68792a6a0.zip gcc-b10f895f41dbe98f2a7d448b91d083a68792a6a0.tar.gz gcc-b10f895f41dbe98f2a7d448b91d083a68792a6a0.tar.bz2 | |
Assert we have irreducible regions marked in the threader
This adds an assert that would fire if any thread path registry
user runs into the check that relies on such regions marked.
2021-06-15 Richard Biener <rguenther@suse.de>
* tree-ssa-threadupdate.c
(jump_thread_path_registry::mark_threaded_blocks): Assert we
have marked irreducible regions.
Diffstat (limited to 'gcc/tree-ssa-threadupdate.c')
| -rw-r--r-- | gcc/tree-ssa-threadupdate.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/tree-ssa-threadupdate.c b/gcc/tree-ssa-threadupdate.c index a86302b..f496dd3 100644 --- a/gcc/tree-ssa-threadupdate.c +++ b/gcc/tree-ssa-threadupdate.c @@ -2122,6 +2122,8 @@ jump_thread_path_registry::mark_threaded_blocks (bitmap threaded_blocks) { if (e->aux) { + gcc_assert (loops_state_satisfies_p + (LOOPS_HAVE_MARKED_IRREDUCIBLE_REGIONS)); vec<jump_thread_edge *> *path = THREAD_PATH (e); for (unsigned int i = 0, crossed_headers = 0; |