aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/PathSensitive/ExplodedGraph.h
diff options
context:
space:
mode:
authorZhongxing Xu <xuzhongxing@gmail.com>2009-08-15 03:17:38 +0000
committerZhongxing Xu <xuzhongxing@gmail.com>2009-08-15 03:17:38 +0000
commit25e695b2d574d919cc1bbddf3a2efe073d449b1c (patch)
tree69abacb15f2f0f6dcce7cc73047b6a07879f944f /include/clang/Analysis/PathSensitive/ExplodedGraph.h
parentbbed6b964414145b29e7b60b3e538093734ea3f8 (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.h5
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;
}