summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorNick Lewycky <nicholas@mxc.ca>2008-11-15 17:50:47 +0000
committerNick Lewycky <nicholas@mxc.ca>2008-11-15 17:50:47 +0000
commit967aeeb4000bce655b455463a4bec28b86d20887 (patch)
tree47296b1568100cd206975a36ab19b7a803ed9e53
parentcfbc7cef618233234333533676ec190bd5ef676c (diff)
downloadbcm5719-llvm-967aeeb4000bce655b455463a4bec28b86d20887.tar.gz
bcm5719-llvm-967aeeb4000bce655b455463a4bec28b86d20887.zip
Correct this error message.
llvm-svn: 59370
-rw-r--r--llvm/lib/VMCore/Verifier.cpp2
-rw-r--r--llvm/test/Verifier/2008-11-15-RetVoid.ll5
2 files changed, 6 insertions, 1 deletions
diff --git a/llvm/lib/VMCore/Verifier.cpp b/llvm/lib/VMCore/Verifier.cpp
index 7540cc83189..a699ab2af20 100644
--- a/llvm/lib/VMCore/Verifier.cpp
+++ b/llvm/lib/VMCore/Verifier.cpp
@@ -639,7 +639,7 @@ void Verifier::visitReturnInst(ReturnInst &RI) {
unsigned N = RI.getNumOperands();
if (F->getReturnType() == Type::VoidTy)
Assert2(N == 0,
- "Found return instr that returns void in Function of non-void "
+ "Found return instr that returns non-void in Function of void "
"return type!", &RI, F->getReturnType());
else if (N == 1 && F->getReturnType() == RI.getOperand(0)->getType()) {
// Exactly one return value and it matches the return type. Good.
diff --git a/llvm/test/Verifier/2008-11-15-RetVoid.ll b/llvm/test/Verifier/2008-11-15-RetVoid.ll
new file mode 100644
index 00000000000..dbdcae28515
--- /dev/null
+++ b/llvm/test/Verifier/2008-11-15-RetVoid.ll
@@ -0,0 +1,5 @@
+; RUN: not llvm-as < %s |& grep {returns non-void in Function of void return}
+
+define void @foo() {
+ ret i32 0
+}
OpenPOWER on IntegriCloud