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 | dc297c1f66499de864135bdd4d79d653f3d280dc (patch) | |
tree | 68d615859bbf92079f538bb0da0e08486f7c9918 | |
parent | eb85728970c6152842577658ac2c5d2ff3a98b13 (diff) | |
download | external_llvm-dc297c1f66499de864135bdd4d79d653f3d280dc.zip external_llvm-dc297c1f66499de864135bdd4d79d653f3d280dc.tar.gz external_llvm-dc297c1f66499de864135bdd4d79d653f3d280dc.tar.bz2 |
Fix an assumption that there is a single return value when verifying
overloaded types for intrinsic parameters.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@77466 91177308-0d34-0410-b5e6-96231b3b80d8
-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 06bc9e7..6d179d0 100644 --- a/lib/VMCore/Verifier.cpp +++ b/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; } } |