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
This commit is contained in:
Victor Hernandez 2009-09-22 18:50:03 +00:00
parent 047ae2f2ad
commit 60cfc03379
2 changed files with 1 additions and 11 deletions

View File

@ -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());

View File

@ -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) {