[llvm-commits] CVS: llvm/lib/VMCore/Verifier.cpp

Alkis Evlogimenos alkis at cs.uiuc.edu
Fri Dec 3 17:25:17 PST 2004



Changes in directory llvm/lib/VMCore:

Verifier.cpp updated: 1.121 -> 1.122
---
Log message:

Make error msg reflect what exactly went wrong.


---
Diffs of the changes:  (+3 -3)

Index: llvm/lib/VMCore/Verifier.cpp
diff -u llvm/lib/VMCore/Verifier.cpp:1.121 llvm/lib/VMCore/Verifier.cpp:1.122
--- llvm/lib/VMCore/Verifier.cpp:1.121	Fri Oct 29 13:43:17 2004
+++ llvm/lib/VMCore/Verifier.cpp	Fri Dec  3 19:25:06 2004
@@ -379,9 +379,9 @@
 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 "






More information about the llvm-commits mailing list