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 | 2d88c0b98938bf295613976d4baa4dbbf8c5a395 (patch) | |
| tree | 335db0126226238230314d21a48a7e11c178b582 /clang | |
| parent | daa417692659f2f6e0b50dc47764b85e95f6f811 (diff) | |
| download | bcm5719-llvm-2d88c0b98938bf295613976d4baa4dbbf8c5a395.tar.gz bcm5719-llvm-2d88c0b98938bf295613976d4baa4dbbf8c5a395.zip | |
Add two utility methods.
llvm-svn: 83935
Diffstat (limited to 'clang')
| -rw-r--r-- | clang/include/clang/Analysis/PathSensitive/AnalysisManager.h | 8 | ||||
| -rw-r--r-- | clang/include/clang/Analysis/PathSensitive/GRCoreEngine.h | 3 |
2 files changed, 11 insertions, 0 deletions
diff --git a/clang/include/clang/Analysis/PathSensitive/AnalysisManager.h b/clang/include/clang/Analysis/PathSensitive/AnalysisManager.h index 868e3c06e4b..e97f80576a8 100644 --- a/clang/include/clang/Analysis/PathSensitive/AnalysisManager.h +++ b/clang/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/clang/include/clang/Analysis/PathSensitive/GRCoreEngine.h b/clang/include/clang/Analysis/PathSensitive/GRCoreEngine.h index 48b86b9eaf0..02e0b0275e4 100644 --- a/clang/include/clang/Analysis/PathSensitive/GRCoreEngine.h +++ b/clang/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; } |

