forked from OSchip/llvm-project
This check is not correct for mallocs, so exclude them earlier.
llvm-svn: 47263
This commit is contained in:
parent
8f90724a53
commit
bdf7ed9495
|
@ -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;
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Reference in New Issue