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-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=bcfbf2577058906acb92663960d88aaf94d13775;p=gcc.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 84655a46bbf..1f9ea20b831 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 073a6058f29..e3308cc1927 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);