From: Ted Kremenek <kremenek@apple.com>
Date: Thu, 17 Jul 2008 23:33:10 +0000 (+0000)
Subject: Update signature of EvalAssume.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=35912db2b1bf191538340ba13fffe8bb004c3400;p=clang

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 db7334f298..4f1686a79a 100644
--- 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,