[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

[Ted Kremenek]

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?