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 84655a46bbf391d1032dd948aa0c375084f711ea..1f9ea20b83195218c6c5175cc9c2c4d479ad221f 100644 (file)
--- 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 (file)
--- 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);