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.

diff --git a/gcc/tree-ssa-threadupdate.c b/gcc/tree-ssa-threadupdate.c
index a86302be18e352d3e8a8cf9fc81679643766a15d..f496dd3eb8c6f9ae78fd7bf70de95af3ac0e118a 100644 (file)
--- 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;