diff options
| author | Alkis Evlogimenos <alkis@evlogimenos.com> | 2004-12-04 01:25:06 +0000 |
|---|---|---|
| committer | Alkis Evlogimenos <alkis@evlogimenos.com> | 2004-12-04 01:25:06 +0000 |
| commit | b92de191168694bf2531b1ae5df74abad7b7f2fe (patch) | |
| tree | 922361bb394543fea374a2a75e8683b10d9955f2 /llvm/lib | |
| parent | 5684f4817f46969a6457694bb7bbd0af765824a0 (diff) | |
| download | bcm5719-llvm-b92de191168694bf2531b1ae5df74abad7b7f2fe.tar.gz bcm5719-llvm-b92de191168694bf2531b1ae5df74abad7b7f2fe.zip | |
Make error msg reflect what exactly went wrong.
llvm-svn: 18478
Diffstat (limited to 'llvm/lib')
| -rw-r--r-- | llvm/lib/VMCore/Verifier.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/llvm/lib/VMCore/Verifier.cpp b/llvm/lib/VMCore/Verifier.cpp index 38fbabb6c9b..3a3e6e5c325 100644 --- a/llvm/lib/VMCore/Verifier.cpp +++ b/llvm/lib/VMCore/Verifier.cpp @@ -379,9 +379,9 @@ void Verifier::visitTerminatorInst(TerminatorInst &I) { void Verifier::visitReturnInst(ReturnInst &RI) { Function *F = RI.getParent()->getParent(); if (RI.getNumOperands() == 0) - Assert1(F->getReturnType() == Type::VoidTy, - "Function returns no value, but ret instruction found that does!", - &RI); + Assert2(F->getReturnType() == Type::VoidTy, + "Found return instr that returns void in Function of non-void " + "return type!", &RI, F->getReturnType()); else Assert2(F->getReturnType() == RI.getOperand(0)->getType(), "Function return type does not match operand " |
