diff --git a/lib/Analysis/BasicAliasAnalysis.cpp b/lib/Analysis/BasicAliasAnalysis.cpp index c4153b93718..5124376a98a 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(Object) || + if (isa(Object) || cast(Object)->hasByValAttr()) if (CallInst *CI = dyn_cast(CS.getInstruction())) - if (CI->isTailCall() && !isa(Object)) + if (CI->isTailCall()) return NoModRef; } }