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;
}
}
_______________________________________________
llvm-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
