commit f71b5f39bb7712e5cc4da72c7d2aed54c99df683
author Zhongxing Xu <xuzhongxing@gmail.com> Wed Aug 27 14:03:33 2008 +0000
committer Zhongxing Xu <xuzhongxing@gmail.com> Wed Aug 27 14:03:33 2008 +0000
tree 192a01526badd75e39d54b6569ec8a617226acb7
parent 55310df79c8dca99a6f1463903d193f9f40fd172

Refactor Assume logic into a separate class ConstraintManager.

llvm-svn: 55412

clang/lib/Analysis/GRExprEngine.cpp

diff --git a/clang/lib/Analysis/GRExprEngine.cpp b/clang/lib/Analysis/GRExprEngine.cpp
index a14695d..c92093c 100644
--- a/clang/lib/Analysis/GRExprEngine.cpp
+++ b/clang/lib/Analysis/GRExprEngine.cpp
@@ -121,7 +121,7 @@
     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),