Add more checking of headers.

From-SVN: r195880

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 5175c841a22e4b00e5fdb2350e407fd1f15e6a77..9cf0e2ffeeeb093055a7fdf2981665f6f6122ee8 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2013-02-08  Marek Polacek  <polacek@redhat.com>
+
+       * cfgloop.c (verify_loop_structure): Add more checking
+       of headers.
+
 2013-02-08  Richard Biener  <rguenther@suse.de>
 
        PR middle-end/56181

diff --git a/gcc/cfgloop.c b/gcc/cfgloop.c
index 60fc6e8c31fd2c0c100a2567f5ea74f691f69177..3619907f727a6ffba9fe69104d265665154cbfb0 100644 (file)
--- 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);