Author: resistor
Date: Mon Feb 18 04:11:00 2008
New Revision: 47268
URL: http://llvm.org/viewvc/llvm-project?rev=47268&view=rev
Log:
Since we're not checking for the more general AllocationInst first, we need to
explicitly check
that Object is an Argument before casting it to one.
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=47268&r1=47267&r2=47268&view=diff
==============================================================================
--- llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp (original)
+++ llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp Mon Feb 18 04:11:00 2008
@@ -272,7 +272,7 @@
// 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<AllocaInst>(Object) ||
- cast<Argument>(Object)->hasByValAttr())
+ (isa<Argument>(Object) && cast<Argument>(Object)->hasByValAttr()))
if (CallInst *CI = dyn_cast<CallInst>(CS.getInstruction()))
if (CI->isTailCall())
return NoModRef;
_______________________________________________
llvm-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
