[cfe-commits] r83935 - in /cfe/trunk/include/clang/Analysis/PathSensitive: AnalysisManager.h GRCoreEngine.h
Zhongxing Xu
xuzhongxing at gmail.com
Mon Oct 12 19:29:59 PDT 2009
Author: zhongxingxu
Date: Mon Oct 12 21:29:58 2009
New Revision: 83935
URL: http://llvm.org/viewvc/llvm-project?rev=83935&view=rev
Log:
Add two utility methods.
Modified:
cfe/trunk/include/clang/Analysis/PathSensitive/AnalysisManager.h
cfe/trunk/include/clang/Analysis/PathSensitive/GRCoreEngine.h
Modified: cfe/trunk/include/clang/Analysis/PathSensitive/AnalysisManager.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Analysis/PathSensitive/AnalysisManager.h?rev=83935&r1=83934&r2=83935&view=diff
==============================================================================
--- cfe/trunk/include/clang/Analysis/PathSensitive/AnalysisManager.h (original)
+++ cfe/trunk/include/clang/Analysis/PathSensitive/AnalysisManager.h Mon Oct 12 21:29:58 2009
@@ -122,9 +122,17 @@
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);
+ }
};
}
Modified: cfe/trunk/include/clang/Analysis/PathSensitive/GRCoreEngine.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Analysis/PathSensitive/GRCoreEngine.h?rev=83935&r1=83934&r2=83935&view=diff
==============================================================================
--- cfe/trunk/include/clang/Analysis/PathSensitive/GRCoreEngine.h (original)
+++ cfe/trunk/include/clang/Analysis/PathSensitive/GRCoreEngine.h Mon Oct 12 21:29:58 2009
@@ -162,6 +162,9 @@
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;
}
More information about the cfe-commits
mailing list