diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 84655a46bbf391d1032dd948aa0c375084f711ea..1f9ea20b83195218c6c5175cc9c2c4d479ad221f 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 073a6058f295981056b1ff66807ead9181e5a8fd..e3308cc19277402fa53a9e77b512bcee2428772c 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);