commit c6694976950e882d7c06f403d13175a29ea768bc
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 ad56b0bfe9b201ce6caecae63e6d4a2ad5aceea4
parent 91cc402a3be35ce488f5fc05a8cffd4c395f5b93

Refactor Assume logic into a separate class ConstraintManager.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@55412 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/GRExprEngine.cpp

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