aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorZhongxing Xu <xuzhongxing@gmail.com>2009-10-13 02:29:58 +0000
committerZhongxing Xu <xuzhongxing@gmail.com>2009-10-13 02:29:58 +0000
commit798d2ca60d1cd6de70d28a5ce60337a2b03a663f (patch)
tree17181290844f03089d020f01ba71803a6f451676
parent4e3c1f7c2a2053cf770f744846a87087415eb340 (diff)
Add two utility methods.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@83935 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--include/clang/Analysis/PathSensitive/AnalysisManager.h8
-rw-r--r--include/clang/Analysis/PathSensitive/GRCoreEngine.h3
2 files changed, 11 insertions, 0 deletions
diff --git a/include/clang/Analysis/PathSensitive/AnalysisManager.h b/include/clang/Analysis/PathSensitive/AnalysisManager.h
index 868e3c06e4..e97f80576a 100644
--- a/include/clang/Analysis/PathSensitive/AnalysisManager.h
+++ b/include/clang/Analysis/PathSensitive/AnalysisManager.h
@@ -122,9 +122,17 @@ public:
return AnaCtxMgr.getContext(D)->getParentMap();
}
+ // Get the top level stack frame.
StackFrameContext *getStackFrame(Decl const *D) {
return LocCtxMgr.getStackFrame(AnaCtxMgr.getContext(D), 0, 0);
}
+
+ // Get a stack frame with parent.
+ StackFrameContext const *getStackFrame(Decl const *D,
+ LocationContext const *Parent,
+ Stmt const *S) {
+ return LocCtxMgr.getStackFrame(AnaCtxMgr.getContext(D), Parent, S);
+ }
};
}
diff --git a/include/clang/Analysis/PathSensitive/GRCoreEngine.h b/include/clang/Analysis/PathSensitive/GRCoreEngine.h
index 48b86b9eaf..02e0b0275e 100644
--- a/include/clang/Analysis/PathSensitive/GRCoreEngine.h
+++ b/include/clang/Analysis/PathSensitive/GRCoreEngine.h
@@ -162,6 +162,9 @@ public:
return LastNode ? (LastNode->isSink() ? NULL : LastNode) : NULL;
}
+ // FIXME: This should not be exposed.
+ GRWorkList *getWorkList() { return Eng.WList; }
+
void SetCleanedState(const GRState* St) {
CleanedState = St;
}