diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-07-17 23:33:10 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-07-17 23:33:10 +0000 |
| commit | e330aacbed0eff3704198f7162f5a3a3b8be36fe (patch) | |
| tree | c7fbe9c7aa416794bbf7dd6e66508b71327fa9da /clang/lib/Analysis/CFRefCount.cpp | |
| parent | 2fe3afca04b51af9063ddec285196db58c1b52d0 (diff) | |
| download | bcm5719-llvm-e330aacbed0eff3704198f7162f5a3a3b8be36fe.tar.gz bcm5719-llvm-e330aacbed0eff3704198f7162f5a3a3b8be36fe.zip | |
Update signature of EvalAssume.
llvm-svn: 53745
Diffstat (limited to 'clang/lib/Analysis/CFRefCount.cpp')
| -rw-r--r-- | clang/lib/Analysis/CFRefCount.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/clang/lib/Analysis/CFRefCount.cpp b/clang/lib/Analysis/CFRefCount.cpp index db7334f298d..4f1686a79ae 100644 --- a/clang/lib/Analysis/CFRefCount.cpp +++ b/clang/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, |
