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

[Chris Lattner]

On Nov 23, 2009, at 1:02 PM, Duncan Sands wrote:

> Hi Chris, I tried to understand what you are doing here but failed,
> feel like explaining some more?  I don't see how capture/nocapture
> is relevant here...

The basic idea is that this is trying to decide whether a call could mod/ref a non-escaping alloca.  If the alloca is passed as an argument to a call, then it will be escaping, unless the call argument is marked nocapture.  Because of this, we only need to check nocapture arguments.

-Chris