From: Brian Gaeke <gaeke@uiuc.edu>
Date: Mon, 17 May 2004 21:15:18 +0000 (+0000)
Subject: Fold two assertions with backwards error messages into one with a
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=2fea9ade5593b146983f5674f6f74e917c55877b;p=oota-llvm.git

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

diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp
index 171484133b9..dfd13c9256f 100644
--- a/lib/VMCore/Verifier.cpp
+++ b/lib/VMCore/Verifier.cpp
@@ -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;