Fold two assertions with backwards error messages into one with a

correct error message.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@13590 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Brian Gaeke 2004-05-17 21:15:18 +00:00
parent cc9620ca29
commit 2fea9ade55

View File

@ -303,12 +303,9 @@ void Verifier::visitBasicBlock(BasicBlock &BB) {
Assert1(PN->getNumIncomingValues() != 0,
"PHI nodes must have at least one entry. If the block is dead, "
"the PHI should be removed!", PN);
Assert1(PN->getNumIncomingValues() >= Preds.size(),
"PHINode has more entries than the basic block has predecessors!",
PN);
Assert1(PN->getNumIncomingValues() <= Preds.size(),
"PHINode has less entries than the basic block has predecessors!",
PN);
Assert1(PN->getNumIncomingValues() == Preds.size(),
"PHINode should have one entry for each predecessor of its "
"parent basic block!", PN);
// Get and sort all incoming values in the PHI node...
std::vector<std::pair<BasicBlock*, Value*> > Values;