Update signature of EvalAssume.

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

diff --git a/lib/Analysis/CFRefCount.cpp b/lib/Analysis/CFRefCount.cpp
index db7334f298dfc30c2d09181b1a9804683b65aca0..4f1686a79ae5d6378df7f1d35798bd8300a06cdd 100644 (file)
--- a/lib/Analysis/CFRefCount.cpp
+++ b/lib/Analysis/CFRefCount.cpp
@@ -1323,7 +1323,7 @@ public:
 
   // Assumptions.
 
-  virtual const ValueState* EvalAssume(GRExprEngine& Engine,
+  virtual const ValueState* EvalAssume(ValueStateManager& VMgr,
                                        const ValueState* St, RVal Cond,
                                        bool Assumption, bool& isFeasible);
 
@@ -1907,7 +1907,7 @@ void CFRefCount::EvalReturn(ExplodedNodeSet<ValueState>& Dst,
 
 // Assumptions.
 
-const ValueState* CFRefCount::EvalAssume(GRExprEngine& Eng,
+const ValueState* CFRefCount::EvalAssume(ValueStateManager& VMgr,
                                          const ValueState* St,
                                          RVal Cond, bool Assumption,
                                          bool& isFeasible) {
@@ -1942,7 +1942,7 @@ const ValueState* CFRefCount::EvalAssume(GRExprEngine& Eng,
   
   ValueState StImpl = *St;
   StImpl.CheckerState = B.getRoot();
-  return Eng.getStateManager().getPersistentState(StImpl);
+  return VMgr.getPersistentState(StImpl);
 }
 
 CFRefCount::RefBindings CFRefCount::Update(RefBindings B, SymbolID sym,