diff options
| author | Bob Wilson <bob.wilson@apple.com> | 2009-07-29 16:25:56 +0000 |
|---|---|---|
| committer | Bob Wilson <bob.wilson@apple.com> | 2009-07-29 16:25:56 +0000 |
| commit | 5be9ee399fd0e889f9d9438284439c312bc22e6c (patch) | |
| tree | 34d05e9f75071926be32ea01454a3658730b20a8 /llvm | |
| parent | 0a1fa8589431357a1e59e85a45a07aece3845565 (diff) | |
| download | bcm5719-llvm-5be9ee399fd0e889f9d9438284439c312bc22e6c.tar.gz bcm5719-llvm-5be9ee399fd0e889f9d9438284439c312bc22e6c.zip | |
Fix an assumption that there is a single return value when verifying
overloaded types for intrinsic parameters.
llvm-svn: 77466
Diffstat (limited to 'llvm')
| -rw-r--r-- | llvm/lib/VMCore/Verifier.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/llvm/lib/VMCore/Verifier.cpp b/llvm/lib/VMCore/Verifier.cpp index 06bc9e72b40..6d179d01a6b 100644 --- a/llvm/lib/VMCore/Verifier.cpp +++ b/llvm/lib/VMCore/Verifier.cpp @@ -1544,9 +1544,9 @@ bool Verifier::PerformTypeCheck(Intrinsic::ID ID, Function *F, const Type *Ty, return false; } } else { - if (Ty != FTy->getParamType(Match - 1)) { + if (Ty != FTy->getParamType(Match - NumRets)) { CheckFailed(IntrinsicParam(ArgNo, NumRets) + " does not " - "match parameter %" + utostr(Match - 1) + ".", F); + "match parameter %" + utostr(Match - NumRets) + ".", F); return false; } } |
