[cfe-commits] r105602 - in /cfe/trunk: lib/Checker/CMakeLists.txt lib/Checker/GRExprEngineExperimentalChecks.cpp lib/Checker/GRExprEngineInternalChecks.h lib/Checker/StackAddrLeakChecker.cpp test/Analysis/stackaddrleak.c

[Zhongxing Xu]

On Wed, Jun 9, 2010 at 12:43 PM, Ted Kremenek <kremenek at apple.com> wrote:

>
> On Jun 8, 2010, at 8:04 PM, Zhongxing Xu wrote:
>
> > From the memory space region of a VarRegion, we can only know if it's on
> the stack or global. We can't know which CallStackFrame it is in.
>
> Hi Zhongxing,
>
> The MemSpaceRegion for the VarRegion should be a StackSpaceRegion.  In the
> StackSpaceRegion there is a method to get the StackFrameContext.  In this
> way StackSpaceRegions are completely context-sensitive (and so are
> VarRegions).  This was by design to support inter-procedural analysis.  Am I
> missing some detail?


Ah, thanks! I was missing that.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20100609/955f4aa2/attachment.html>