diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-08-27 14:03:33 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-08-27 14:03:33 +0000 |
| commit | f71b5f39bb7712e5cc4da72c7d2aed54c99df683 (patch) | |
| tree | 192a01526badd75e39d54b6569ec8a617226acb7 /clang/lib/Analysis/GRExprEngine.cpp | |
| parent | 55310df79c8dca99a6f1463903d193f9f40fd172 (diff) | |
| download | bcm5719-llvm-f71b5f39bb7712e5cc4da72c7d2aed54c99df683.tar.gz bcm5719-llvm-f71b5f39bb7712e5cc4da72c7d2aed54c99df683.zip | |
Refactor Assume logic into a separate class ConstraintManager.
llvm-svn: 55412
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 a14695d67e8..c92093cf003 100644 --- a/clang/lib/Analysis/GRExprEngine.cpp +++ b/clang/lib/Analysis/GRExprEngine.cpp @@ -121,7 +121,7 @@ GRExprEngine::GRExprEngine(CFG& cfg, Decl& CD, ASTContext& Ctx, Liveness(L), Builder(NULL), StateMgr(G.getContext(), CreateBasicStoreManager(G.getAllocator(), Ctx), - G.getAllocator(), G.getCFG(), L), + CreateBasicConstraintManager, G.getAllocator(), G.getCFG(), L), SymMgr(StateMgr.getSymbolManager()), CurrentStmt(NULL), NSExceptionII(NULL), NSExceptionInstanceRaiseSelectors(NULL), |
