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
This commit is contained in:
Chris Lattner 2004-02-24 22:06:07 +00:00
parent d561209a47
commit 2a11653fa9

View File

@ -386,9 +386,9 @@ void Verifier::visitCallInst(CallInst &CI) {
// Verify that all arguments to the call match the function type... // Verify that all arguments to the call match the function type...
for (unsigned i = 0, e = FTy->getNumParams(); i != e; ++i) 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!", "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 (Function *F = CI.getCalledFunction())
if (Intrinsic::ID ID = (Intrinsic::ID)F->getIntrinsicID()) if (Intrinsic::ID ID = (Intrinsic::ID)F->getIntrinsicID())