From b10f895f41dbe98f2a7d448b91d083a68792a6a0 Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Tue, 15 Jun 2021 10:27:47 +0200 Subject: [PATCH] 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 * tree-ssa-threadupdate.c (jump_thread_path_registry::mark_threaded_blocks): Assert we have marked irreducible regions. --- gcc/tree-ssa-threadupdate.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/gcc/tree-ssa-threadupdate.c b/gcc/tree-ssa-threadupdate.c index a86302be18e3..f496dd3eb8c6 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 *path = THREAD_PATH (e); for (unsigned int i = 0, crossed_headers = 0; -- 2.47.2