diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-11-27 01:55:08 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-11-27 01:55:08 +0000 |
| commit | 22438a8dfe9f2f273c0b1a47f3f80be782ea6f09 (patch) | |
| tree | 3ee3f819bbe650b8786168a904dbb76df24c1576 /lib/Analysis/GRExprEngine.cpp | |
| parent | 7ca09760ee77ad03eac8212e580338bacd46f4d4 (diff) | |
Add support for pluggable components of static analyzer.
- Creator function pointers are saved in ManagerRegistry.
- The Register* class is used to notify ManagerRegistry new module is
available.
- AnalysisManager queries ManagerRegistry for configurable module. Then it
passes them to GRExprEngine, in turn to GRStateManager.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@60143 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/GRExprEngine.cpp')
| -rw-r--r-- | lib/Analysis/GRExprEngine.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp index 448c2aa6b6..7c34fb91d2 100644 --- a/lib/Analysis/GRExprEngine.cpp +++ b/lib/Analysis/GRExprEngine.cpp @@ -116,13 +116,13 @@ static inline Selector GetNullarySelector(const char* name, ASTContext& Ctx) { GRExprEngine::GRExprEngine(CFG& cfg, Decl& CD, ASTContext& Ctx, LiveVariables& L, - GRStateManager::StoreManagerCreator SMC) + StoreManagerCreator SMC, + ConstraintManagerCreator CMC) : CoreEngine(cfg, CD, Ctx, *this), G(CoreEngine.getGraph()), Liveness(L), Builder(NULL), - StateMgr(G.getContext(), SMC, - CreateBasicConstraintManager, G.getAllocator(), cfg, CD, L), + StateMgr(G.getContext(), SMC, CMC, G.getAllocator(), cfg, CD, L), SymMgr(StateMgr.getSymbolManager()), CurrentStmt(NULL), NSExceptionII(NULL), NSExceptionInstanceRaiseSelectors(NULL), |