From 8e50760dfe28ac1acd595895c965eead98a7d3df Mon Sep 17 00:00:00 2001 From: Devang Patel Date: Tue, 26 Feb 2008 22:55:21 +0000 Subject: [PATCH] Add assert to check return type. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@47637 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/VMCore/Verifier.cpp | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp index 1a7100e5a4a..e86c89bfa82 100644 --- a/lib/VMCore/Verifier.cpp +++ b/lib/VMCore/Verifier.cpp @@ -585,13 +585,13 @@ void Verifier::visitReturnInst(ReturnInst &RI) { Assert2(F->getReturnType() == RI.getOperand(0)->getType(), "Function return type does not match operand " "type of return inst!", &RI, F->getReturnType()); - else { - const StructType *STy = cast(F->getReturnType()); + else if (const StructType *STy = dyn_cast(F->getReturnType())) { for (unsigned i = 0; i < N; i++) Assert2(STy->getElementType(i) == RI.getOperand(i)->getType(), - "Function return type does not match operand " - "type of return inst!", &RI, F->getReturnType()); - } + "Function return type does not match operand " + "type of return inst!", &RI, F->getReturnType()); + } else + Assert1(0, "Invalid return type!", &RI); // Check to make sure that the return value has necessary properties for // terminators... -- 2.34.1