diff options
author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-10-13 02:29:58 +0000 |
---|---|---|
committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-10-13 02:29:58 +0000 |
commit | 798d2ca60d1cd6de70d28a5ce60337a2b03a663f (patch) | |
tree | 17181290844f03089d020f01ba71803a6f451676 | |
parent | 4e3c1f7c2a2053cf770f744846a87087415eb340 (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.h | 8 | ||||
-rw-r--r-- | include/clang/Analysis/PathSensitive/GRCoreEngine.h | 3 |
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; } |