From 528ef0d05f306eb684350fb5535fb2872c3a1df8 Mon Sep 17 00:00:00 2001
From: Owen Anderson <resistor@mac.com>
Date: Mon, 18 Feb 2008 09:11:02 +0000
Subject: 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
---
 lib/Analysis/BasicAliasAnalysis.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib/Analysis')

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;
     }
   }
-- 
cgit v1.1