From: Richard Biener <rguenther@suse.de>
Date: Tue, 15 Jun 2021 08:27:47 +0000 (+0200)
Subject: Assert we have irreducible regions marked in the threader
X-Git-Tag: basepoints/gcc-13~6867
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=b10f895f41dbe98f2a7d448b91d083a68792a6a0;p=thirdparty%2Fgcc.git

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 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<jump_thread_edge *> *path = THREAD_PATH (e);
 
 	      for (unsigned int i = 0, crossed_headers = 0;