[llvm-commits] CVS: llvm/lib/VMCore/Verifier.cpp

Chris Lattner lattner at cs.uiuc.edu
Tue Feb 24 16:07:03 PST 2004


Changes in directory llvm/lib/VMCore:

Verifier.cpp updated: 1.81 -> 1.82

---
Log message:

Make the verifier a little more explicit about this problem.


---
Diffs of the changes:  (+2 -2)

Index: llvm/lib/VMCore/Verifier.cpp
diff -u llvm/lib/VMCore/Verifier.cpp:1.81 llvm/lib/VMCore/Verifier.cpp:1.82
--- llvm/lib/VMCore/Verifier.cpp:1.81	Fri Feb 13 20:47:17 2004
+++ llvm/lib/VMCore/Verifier.cpp	Tue Feb 24 16:06:07 2004
@@ -386,9 +386,9 @@
 
   // 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())





More information about the llvm-commits mailing list