Add more checking of headers.

git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@195880 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 9 insertions, 0 deletions

diff --git a/gcc/cfgloop.c b/gcc/cfgloop.c
index 60fc6e8c31f..3619907f727 100644
--- a/gcc/cfgloop.c
+++ b/gcc/cfgloop.c
@@ -1353,6 +1353,15 @@ verify_loop_structure (void)
 	}
     }
 
+  /* Check the headers.  */
+  FOR_EACH_BB (bb)
+    if (bb_loop_header_p (bb)
+	&& bb->loop_father->header != bb)
+      {
+	error ("loop with header %d not in loop tree", bb->index);
+	err = 1;
+      }
+
   /* Check get_loop_body.  */
   visited = sbitmap_alloc (last_basic_block);
   bitmap_clear (visited);