From: Chris Lattner <sabre@nondot.org>
Date: Mon, 5 Jan 2009 07:58:59 +0000 (+0000)
Subject: tighten up return type check
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=c8e222b9a48a84e98a5fc4ccd6b015197b09bed4;p=oota-llvm.git

tighten up return type check


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@61677 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/VMCore/Function.cpp b/lib/VMCore/Function.cpp
index f83fe435cd0..8210350d715 100644
--- a/lib/VMCore/Function.cpp
+++ b/lib/VMCore/Function.cpp
@@ -161,12 +161,10 @@ Function::Function(const FunctionType *Ty, LinkageTypes Linkage,
                    const std::string &name, Module *ParentModule)
   : GlobalValue(PointerType::getUnqual(Ty), 
                 Value::FunctionVal, 0, 0, Linkage, name) {
+  assert(FunctionType::isValidReturnType(getReturnType()) &&
+         !isa<OpaqueType>(getReturnType()) && "invalid return type");
   SymTab = new ValueSymbolTable();
 
-  assert((getReturnType()->isFirstClassType() ||getReturnType() == Type::VoidTy
-          || isa<StructType>(getReturnType()))
-         && "LLVM functions cannot return aggregate values!");
-
   // If the function has arguments, mark them as lazily built.
   if (Ty->getNumParams())
     SubclassData = 1;   // Set the "has lazy arguments" bit.