mirrors/gcc
0
0
Fork 0
mirror of https://gcc.gnu.org/git/gcc.git synced 2024-12-27 21:15:20 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

Add more checking of headers.

Browse Source 
From-SVN: r195880
This commit is contained in:
Marek Polacek 2013-02-08 11:39:01 +00:00 committed by Marek Polacek
parent 0375167b6c
commit f64fb0facb
2 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ChangeLog
View File

@ -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

9
gcc/cfgloop.c
View File

@ -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);