diff options
author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-08-15 03:17:38 +0000 |
---|---|---|
committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-08-15 03:17:38 +0000 |
commit | 25e695b2d574d919cc1bbddf3a2efe073d449b1c (patch) | |
tree | 69abacb15f2f0f6dcce7cc73047b6a07879f944f /include/clang/Analysis/PathSensitive/ExplodedGraph.h | |
parent | bbed6b964414145b29e7b60b3e538093734ea3f8 (diff) |
Extend the ProgramPoint to include the context information LocationContext,
which is either a stack frame context of the function or a local scope
context.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@79072 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/Analysis/PathSensitive/ExplodedGraph.h')
-rw-r--r-- | include/clang/Analysis/PathSensitive/ExplodedGraph.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/include/clang/Analysis/PathSensitive/ExplodedGraph.h b/include/clang/Analysis/PathSensitive/ExplodedGraph.h index d3da3c105f..9b6507420b 100644 --- a/include/clang/Analysis/PathSensitive/ExplodedGraph.h +++ b/include/clang/Analysis/PathSensitive/ExplodedGraph.h @@ -39,7 +39,6 @@ class ASTContext; //===----------------------------------------------------------------------===// class ExplodedNode : public llvm::FoldingSetNode { -protected: friend class ExplodedGraph; friend class GRCoreEngine; friend class GRStmtNodeBuilder; @@ -111,6 +110,10 @@ public: /// getLocation - Returns the edge associated with the given node. ProgramPoint getLocation() const { return Location; } + const LocationContext *getLocationContext() const { + return getLocation().getContext(); + } + const GRState* getState() const { return State; } |