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

[Duncan Sands]

Hi Chris,

> 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.

I see, that makes sense.  I noticed that there is no logic about readonly calls
in this routine - is this handled elsewhere?

Ciao,

Duncan.