diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-08-28 23:31:31 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-08-28 23:31:31 +0000 |
| commit | e91874f71f8dcae7ef1bd0f07ef8bfb7db4a5e74 (patch) | |
| tree | c31a2da5b1e7903ce89d57c2d4563f1b08ef4006 /clang/lib/Analysis/GRExprEngine.cpp | |
| parent | 5888e603c321ec13e0a26dc2de0345137721aad1 (diff) | |
| download | bcm5719-llvm-e91874f71f8dcae7ef1bd0f07ef8bfb7db4a5e74.tar.gz bcm5719-llvm-e91874f71f8dcae7ef1bd0f07ef8bfb7db4a5e74.zip | |
Make store "Regions" and "Bindings" more abstract instead of concrete variants.
Their precise semantics will be implemented by a specific StoreManager.
Use function pointer to create the StoreManager in GRStateManager. This matches how we create ConstraintsManager.
llvm-svn: 55514
Diffstat (limited to 'clang/lib/Analysis/GRExprEngine.cpp')
| -rw-r--r-- | clang/lib/Analysis/GRExprEngine.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clang/lib/Analysis/GRExprEngine.cpp b/clang/lib/Analysis/GRExprEngine.cpp index affb02a962a..90ff435f86c 100644 --- a/clang/lib/Analysis/GRExprEngine.cpp +++ b/clang/lib/Analysis/GRExprEngine.cpp @@ -120,7 +120,7 @@ GRExprEngine::GRExprEngine(CFG& cfg, Decl& CD, ASTContext& Ctx, G(CoreEngine.getGraph()), Liveness(L), Builder(NULL), - StateMgr(G.getContext(), CreateBasicStoreManager(G.getAllocator(), Ctx), + StateMgr(G.getContext(), CreateBasicStoreManager, CreateBasicConstraintManager, G.getAllocator(), G.getCFG(), L), SymMgr(StateMgr.getSymbolManager()), CurrentStmt(NULL), |
