From: Owen Anderson Date: Mon, 18 Feb 2008 09:11:02 +0000 (+0000) Subject: This check is not correct for mallocs, so exclude them earlier. X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=26d914ada39516974d9fb97ea7504329d3822501;p=oota-llvm.git This check is not correct for mallocs, so exclude them earlier. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@47263 91177308-0d34-0410-b5e6-96231b3b80d8 --- 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; } }