1
0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-24 03:33:20 +01:00

Since we're not checking for the more general AllocationInst first, we need to explicitly check

that Object is an Argument before casting it to one.

llvm-svn: 47268
This commit is contained in:
Owen Anderson 2008-02-18 10:11:00 +00:00
parent a7d4ae1435
commit f3107c8546

View File

@ -272,7 +272,7 @@ 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<AllocaInst>(Object) ||
cast<Argument>(Object)->hasByValAttr())
(isa<Argument>(Object) && cast<Argument>(Object)->hasByValAttr()))
if (CallInst *CI = dyn_cast<CallInst>(CS.getInstruction()))
if (CI->isTailCall())
return NoModRef;