diff options
Diffstat (limited to 'lib/VMCore/Verifier.cpp')
| -rw-r--r-- | lib/VMCore/Verifier.cpp | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp index f1f6e2e..140e6bd 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) { |