diff options
| author | Chris Lattner <sabre@nondot.org> | 2004-02-24 22:06:07 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2004-02-24 22:06:07 +0000 |
| commit | 2a11653fa90ba87246701cd0adc8806172daabf1 (patch) | |
| tree | f7b45790f98797389a7f7e34592c47561d8150d7 /lib/VMCore | |
| parent | d561209a4794348290f384a11cf5b68c65cdccde (diff) | |
| download | external_llvm-2a11653fa90ba87246701cd0adc8806172daabf1.zip external_llvm-2a11653fa90ba87246701cd0adc8806172daabf1.tar.gz external_llvm-2a11653fa90ba87246701cd0adc8806172daabf1.tar.bz2 | |
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
Diffstat (limited to 'lib/VMCore')
| -rw-r--r-- | lib/VMCore/Verifier.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp index bfd9ae6..4fe4adb 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()) |