diff options
| -rw-r--r-- | lib/Analysis/BasicAliasAnalysis.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Analysis/BasicAliasAnalysis.cpp b/lib/Analysis/BasicAliasAnalysis.cpp index c4153b9..5124376 100644 --- a/lib/Analysis/BasicAliasAnalysis.cpp +++ b/lib/Analysis/BasicAliasAnalysis.cpp @@ -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; } } |