mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-13 15:01:21 +08:00
Code Issues Packages Projects Releases Wiki Activity

tree-cfg.c (verify_stmts): Check that bb_for_stmt (stmt) == bb for every PHI node and statement.

Browse Source 
* tree-cfg.c (verify_stmts): Check that
	bb_for_stmt (stmt) == bb for every PHI node and statement.

From-SVN: r96418
This commit is contained in:
Kazu Hirata 2005-03-14 04:33:46 +00:00 committed by Kazu Hirata
parent 80fb36b1a8
commit 8de1fc1b60
2 changed files with 16 additions and 0 deletions

3
gcc/ChangeLog

@ -10,6 +10,9 @@
Make them static.
* hard-reg-set.h: Remove the corresponding declarations.
* tree-cfg.c (verify_stmts): Check that
bb_for_stmt (stmt) == bb for every PHI node and statement.
2005-03-14 Alan Modra <amodra@bigpond.net.au>
* config.gcc: Remove excess indentation.

13
gcc/tree-cfg.c

@ -3696,6 +3696,12 @@ verify_stmts (void)
{
int phi_num_args = PHI_NUM_ARGS (phi);
if (bb_for_stmt (phi) != bb)
{
error ("bb_for_stmt (phi) is set to a wrong basic block\n");
err |= true;
}
for (i = 0; i < phi_num_args; i++)
{
tree t = PHI_ARG_DEF (phi, i);
@ -3734,6 +3740,13 @@ verify_stmts (void)
for (bsi = bsi_start (bb); !bsi_end_p (bsi); )
{
tree stmt = bsi_stmt (bsi);
if (bb_for_stmt (stmt) != bb)
{
error ("bb_for_stmt (stmt) is set to a wrong basic block\n");
err |= true;
}
bsi_next (&bsi);
err |= verify_stmt (stmt, bsi_end_p (bsi));
addr = walk_tree (&stmt, verify_node_sharing, htab, NULL);