From: Alan Modra <amodra@gmail.com>
Date: Sat, 28 May 2016 09:16:00 +0000 (+0930)
Subject: Fix segfault on verify_dominators error path
X-Git-Tag: basepoints/gcc-8~6602
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=bcfbf2577058906acb92663960d88aaf94d13775;p=thirdparty%2Fgcc.git

Fix segfault on verify_dominators error path

	* dominance.c (verify_dominators): Don't segfault on NULL imm_bb.

From-SVN: r236845
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 84655a46bbf3..1f9ea20b8319 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2016-05-28  Alan Modra  <amodra@gmail.com>
+
+	* dominance.c (verify_dominators): Don't segfault on NULL imm_bb.
+
 2016-05-28  Alan Modra  <amodra@gmail.com>
 
 	PR rtl-optimization/71275
diff --git a/gcc/dominance.c b/gcc/dominance.c
index 073a6058f295..e3308cc19277 100644
--- a/gcc/dominance.c
+++ b/gcc/dominance.c
@@ -1024,6 +1024,7 @@ verify_dominators (cdi_direction dir)
 	{
 	  error ("dominator of %d status unknown", bb->index);
 	  err = true;
+	  continue;
 	}
 
       basic_block imm_bb_correct = di.get_idom (bb);