From: Victor Hernandez <vhernandez@apple.com>
Date: Tue, 22 Sep 2009 18:50:03 +0000 (+0000)
Subject: No need to verify that malloc's return type is i8*.
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=60cfc03379c1ec3fac3dc807f5e93842c0b95f33;p=oota-llvm.git

No need to verify that malloc's return type is i8*.



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

diff --git a/lib/Analysis/MallocHelper.cpp b/lib/Analysis/MallocHelper.cpp
index 9c1671d3064..ab6239e55ad 100644
--- a/lib/Analysis/MallocHelper.cpp
+++ b/lib/Analysis/MallocHelper.cpp
@@ -155,7 +155,7 @@ const PointerType* llvm::getMallocType(const CallInst* CI) {
   if (BCI && CI->hasOneUse())
     return cast<PointerType>(BCI->getDestTy());
 
-  // Malloc call was not bitcast, so the type is the malloc's return type, i8*.
+  // Malloc call was not bitcast, so type is the malloc function's return type.
   if (!BCI)
     return cast<PointerType>(CI->getType());
 
diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp
index f1f6e2e199b..140e6bd8b15 100644
--- a/lib/VMCore/Verifier.cpp
+++ b/lib/VMCore/Verifier.cpp
@@ -1143,16 +1143,6 @@ void Verifier::visitCallInst(CallInst &CI) {
   if (Function *F = CI.getCalledFunction())
     if (Intrinsic::ID ID = (Intrinsic::ID)F->getIntrinsicID())
       visitIntrinsicFunctionCall(ID, CI);
-
-  // Code here matches isMalloc from MallocHelper, which is not in VMCore.
-  const Module* M = CI.getParent()->getParent()->getParent();
-  Constant *MallocFunc = M->getFunction("malloc");
-
-  if (CI.getOperand(0) == MallocFunc) {
-    const PointerType *PTy =
-        PointerType::getUnqual(Type::getInt8Ty(CI.getParent()->getContext()));
-    Assert1(CI.getType() == PTy, "Malloc call must return i8*", &CI);
-  }
 }
 
 void Verifier::visitInvokeInst(InvokeInst &II) {