This check is not correct for mallocs, so exclude them earlier.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@47263 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Owen Anderson 2008-02-18 09:11:02 +00:00
parent 96cfff0906
commit 26d914ada3

View File

@ -271,10 +271,10 @@ BasicAliasAnalysis::getModRefInfo(CallSite CS, Value *P, unsigned Size) {
// If this is a tail call and P points to a stack location, we know that
// the tail call cannot access or modify the local stack.
if (isa<AllocationInst>(Object) ||
if (isa<AllocaInst>(Object) ||
cast<Argument>(Object)->hasByValAttr())
if (CallInst *CI = dyn_cast<CallInst>(CS.getInstruction()))
if (CI->isTailCall() && !isa<MallocInst>(Object))
if (CI->isTailCall())
return NoModRef;
}
}