From: Chris Lattner <sabre@nondot.org>
Date: Tue, 24 Feb 2004 22:06:07 +0000 (+0000)
Subject: Make the verifier a little more explicit about this problem.
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=2a11653fa90ba87246701cd0adc8806172daabf1;p=oota-llvm.git

Make the verifier a little more explicit about this problem.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@11811 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp
index bfd9ae6459d..4fe4adbadbc 100644
--- a/lib/VMCore/Verifier.cpp
+++ b/lib/VMCore/Verifier.cpp
@@ -386,9 +386,9 @@ void Verifier::visitCallInst(CallInst &CI) {
 
   // Verify that all arguments to the call match the function type...
   for (unsigned i = 0, e = FTy->getNumParams(); i != e; ++i)
-    Assert2(CI.getOperand(i+1)->getType() == FTy->getParamType(i),
+    Assert3(CI.getOperand(i+1)->getType() == FTy->getParamType(i),
             "Call parameter type does not match function signature!",
-            CI.getOperand(i+1), FTy->getParamType(i));
+            CI.getOperand(i+1), FTy->getParamType(i), &CI);
 
   if (Function *F = CI.getCalledFunction())
     if (Intrinsic::ID ID = (Intrinsic::ID)F->getIntrinsicID())