[llvm-commits] [llvm] r47263 - /llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp

[Owen Anderson]

Author: resistor
Date: Mon Feb 18 03:11:02 2008
New Revision: 47263

URL: http://llvm.org/viewvc/llvm-project?rev=47263&view=rev
Log:
This check is not correct for mallocs, so exclude them earlier.

Modified:
    llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp

Modified: llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp?rev=47263&r1=47262&r2=47263&view=diff

==============================================================================
--- llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp (original)
+++ llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp Mon Feb 18 03:11:02 2008
@@ -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;
     }
   }