diff options
Diffstat (limited to 'clang/lib')
| -rw-r--r-- | clang/lib/Analysis/GRExprEngine.cpp | 5 | ||||
| -rw-r--r-- | clang/lib/Analysis/RegionStore.cpp | 5 |
2 files changed, 8 insertions, 2 deletions
diff --git a/clang/lib/Analysis/GRExprEngine.cpp b/clang/lib/Analysis/GRExprEngine.cpp index cbda7be2cad..1840482a3fa 100644 --- a/clang/lib/Analysis/GRExprEngine.cpp +++ b/clang/lib/Analysis/GRExprEngine.cpp @@ -115,12 +115,13 @@ static inline Selector GetNullarySelector(const char* name, ASTContext& Ctx) { GRExprEngine::GRExprEngine(CFG& cfg, Decl& CD, ASTContext& Ctx, - LiveVariables& L) + LiveVariables& L, + GRStateManager::StoreManagerCreator SMC) : CoreEngine(cfg, CD, Ctx, *this), G(CoreEngine.getGraph()), Liveness(L), Builder(NULL), - StateMgr(G.getContext(), CreateBasicStoreManager, + StateMgr(G.getContext(), SMC, CreateBasicConstraintManager, G.getAllocator(), G.getCFG(), L), SymMgr(StateMgr.getSymbolManager()), CurrentStmt(NULL), diff --git a/clang/lib/Analysis/RegionStore.cpp b/clang/lib/Analysis/RegionStore.cpp index 9183fd782ff..1bd29add306 100644 --- a/clang/lib/Analysis/RegionStore.cpp +++ b/clang/lib/Analysis/RegionStore.cpp @@ -66,6 +66,11 @@ public: } // end anonymous namespace +StoreManager* clang::CreateRegionStoreManager(GRStateManager& StMgr) { + // return new RegionStoreManager(StMgr); + return 0; // Uncomment the above line when RegionStoreManager is not abstract. +} + Loc RegionStoreManager::getElementLoc(const VarDecl* VD, SVal Idx) { MemRegion* R = MRMgr.getVarRegion(VD); ElementRegion* ER = MRMgr.getElementRegion(Idx, R); |
