dominance.c (verify_dominators): Don't SEGV if recount_dominator returns NULL.

2004-09-22  Frank Ch. Eigler  <fche@redhat.com>

	* dominance.c (verify_dominators): Don't SEGV if recount_dominator
	returns NULL.

From-SVN: r87883
This commit is contained in:
Frank Ch. Eigler 2004-09-22 20:36:14 +00:00 committed by Frank Ch. Eigler
parent ecd16bf665
commit 08fb229ea8
2 changed files with 11 additions and 2 deletions

View File

@ -1,3 +1,8 @@
2004-09-22 Frank Ch. Eigler <fche@redhat.com>
* dominance.c (verify_dominators): Don't SEGV if recount_dominator
returns NULL.
2004-09-22 Kazu Hirata <kazu@cs.umass.edu>
* doc/c-tree.texi (TRUTH_NOT_EXPR, TRUTH_ANDIF_EXPR,

View File

@ -833,8 +833,12 @@ verify_dominators (enum cdi_direction dir)
dom_bb = recount_dominator (dir, bb);
if (dom_bb != get_immediate_dominator (dir, bb))
{
error ("dominator of %d should be %d, not %d",
bb->index, dom_bb->index, get_immediate_dominator(dir, bb)->index);
if (dom_bb == NULL)
error ("dominator of %d should be (unknown), not %d",
bb->index, get_immediate_dominator(dir, bb)->index);
else
error ("dominator of %d should be %d, not %d",
bb->index, dom_bb->index, get_immediate_dominator(dir, bb)->index);
err = 1;
}
}