Fix a bad assertion to be correct . The root basic block can be used by PHI nodes.

llvm-svn: 1370
This commit is contained in:
Chris Lattner 2001-11-26 18:52:02 +00:00
parent 03946cd9b6
commit a88403bf31
2 changed files with 6 additions and 2 deletions

View File

@ -54,7 +54,9 @@ cfg::DominatorSet::DominatorSet(const Method *M) : DominatorBase(M->front()) {
//
void cfg::DominatorSet::calcForwardDominatorSet(const Method *M) {
assert(Root && M && "Can't build dominator set of null method!");
assert(Root->use_size() == 0 && "Root node has predecessors in method!");
assert(Root->pred_begin() == Root->pred_end() &&
"Root node has predecessors in method!");
bool Changed;
do {
Changed = false;

View File

@ -54,7 +54,9 @@ cfg::DominatorSet::DominatorSet(const Method *M) : DominatorBase(M->front()) {
//
void cfg::DominatorSet::calcForwardDominatorSet(const Method *M) {
assert(Root && M && "Can't build dominator set of null method!");
assert(Root->use_size() == 0 && "Root node has predecessors in method!");
assert(Root->pred_begin() == Root->pred_end() &&
"Root node has predecessors in method!");
bool Changed;
do {
Changed = false;