diff options
| author | Owen Anderson <resistor@mac.com> | 2008-02-18 09:11:02 +0000 |
|---|---|---|
| committer | Owen Anderson <resistor@mac.com> | 2008-02-18 09:11:02 +0000 |
| commit | 26d914ada39516974d9fb97ea7504329d3822501 (patch) | |
| tree | 4c5b7a6a2b4254906ed1bc7a2d384104ef198a36 /lib/Analysis | |
| parent | 96cfff0906915a060e543db8e0e4a74c674ef7c0 (diff) | |
| download | external_llvm-26d914ada39516974d9fb97ea7504329d3822501.zip external_llvm-26d914ada39516974d9fb97ea7504329d3822501.tar.gz external_llvm-26d914ada39516974d9fb97ea7504329d3822501.tar.bz2 | |
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
Diffstat (limited to 'lib/Analysis')
| -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; } } |