[cfe-commits] r53745 - /cfe/trunk/lib/Analysis/CFRefCount.cpp

[Ted Kremenek]

Author: kremenek
Date: Thu Jul 17 18:33:10 2008
New Revision: 53745

URL: http://llvm.org/viewvc/llvm-project?rev=53745&view=rev
Log:
Update signature of EvalAssume.

Modified:
    cfe/trunk/lib/Analysis/CFRefCount.cpp

Modified: cfe/trunk/lib/Analysis/CFRefCount.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/CFRefCount.cpp?rev=53745&r1=53744&r2=53745&view=diff

==============================================================================
--- cfe/trunk/lib/Analysis/CFRefCount.cpp (original)
+++ cfe/trunk/lib/Analysis/CFRefCount.cpp Thu Jul 17 18:33:10 2008
@@ -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,