This check is not correct for mallocs, so exclude them earlier.
llvm-svn: 47263
diff --git a/llvm/lib/Analysis/BasicAliasAnalysis.cpp b/llvm/lib/Analysis/BasicAliasAnalysis.cpp
index c4153b9..5124376 100644
--- a/llvm/lib/Analysis/BasicAliasAnalysis.cpp
+++ b/llvm/lib/Analysis/BasicAliasAnalysis.cpp
@@ -271,10 +271,10 @@
// 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;
}
}