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 db7334f..4f1686a 100644
--- a/lib/Analysis/CFRefCount.cpp
+++ b/lib/Analysis/CFRefCount.cpp
@@ -1323,7 +1323,7 @@
// 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 @@
// 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 @@
ValueState StImpl = *St;
StImpl.CheckerState = B.getRoot();
- return Eng.getStateManager().getPersistentState(StImpl);
+ return VMgr.getPersistentState(StImpl);
}
CFRefCount::RefBindings CFRefCount::Update(RefBindings B, SymbolID sym,