diff options
author | Ted Kremenek <kremenek@apple.com> | 2008-11-12 19:22:09 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2008-11-12 19:22:09 +0000 |
commit | a441b7e9131a3a3b91d92bef1704d7559b2e37ec (patch) | |
tree | a80c0170a082a19c0ccf18832fca2e2187c55430 /lib/Analysis/CFRefCount.cpp | |
parent | d4931632946fe86fc2b09496f2b62443440a7da4 (diff) |
Update method names involving GRStateRef. No functionality change.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@59153 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/CFRefCount.cpp')
-rw-r--r-- | lib/Analysis/CFRefCount.cpp | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/lib/Analysis/CFRefCount.cpp b/lib/Analysis/CFRefCount.cpp index ff911678da..b33a7ca5ab 100644 --- a/lib/Analysis/CFRefCount.cpp +++ b/lib/Analysis/CFRefCount.cpp @@ -1609,17 +1609,17 @@ void CFRefCount::EvalSummary(ExplodedNodeSet<GRState>& Dst, SymbolID NewSym = Eng.getSymbolManager().getConjuredSymbol(*I, T, Count); - state = state.SetSVal(*MR, + state = state.BindLoc(*MR, Loc::IsLocType(T) ? cast<SVal>(loc::SymbolVal(NewSym)) : cast<SVal>(nonloc::SymbolVal(NewSym))); } else { - state = state.SetSVal(*MR, UnknownVal()); + state = state.BindLoc(*MR, UnknownVal()); } } else - state = state.SetSVal(*MR, UnknownVal()); + state = state.BindLoc(*MR, UnknownVal()); } else { // Nuke all other arguments passed by reference. @@ -1677,7 +1677,7 @@ void CFRefCount::EvalSummary(ExplodedNodeSet<GRState>& Dst, ? cast<SVal>(loc::SymbolVal(Sym)) : cast<SVal>(nonloc::SymbolVal(Sym)); - state = state.SetSVal(Ex, X, false); + state = state.BindExpr(Ex, X, false); } break; @@ -1688,14 +1688,14 @@ void CFRefCount::EvalSummary(ExplodedNodeSet<GRState>& Dst, assert (arg_end >= arg_beg); assert (idx < (unsigned) (arg_end - arg_beg)); SVal V = state.GetSVal(*(arg_beg+idx)); - state = state.SetSVal(Ex, V, false); + state = state.BindExpr(Ex, V, false); break; } case RetEffect::ReceiverAlias: { assert (Receiver); SVal V = state.GetSVal(Receiver); - state = state.SetSVal(Ex, V, false); + state = state.BindExpr(Ex, V, false); break; } @@ -1706,7 +1706,7 @@ void CFRefCount::EvalSummary(ExplodedNodeSet<GRState>& Dst, QualType RetT = GetReturnType(Ex, Eng.getContext()); state = state.set<RefBindings>(Sym, RefVal::makeOwned(RetT)); - state = state.SetSVal(Ex, loc::SymbolVal(Sym), false); + state = state.BindExpr(Ex, loc::SymbolVal(Sym), false); #if 0 RefBindings B = GetRefBindings(StImpl); @@ -1726,7 +1726,7 @@ void CFRefCount::EvalSummary(ExplodedNodeSet<GRState>& Dst, QualType RetT = GetReturnType(Ex, Eng.getContext()); state = state.set<RefBindings>(Sym, RefVal::makeNotOwned(RetT)); - state = state.SetSVal(Ex, loc::SymbolVal(Sym), false); + state = state.BindExpr(Ex, loc::SymbolVal(Sym), false); break; } } @@ -1852,7 +1852,7 @@ void CFRefCount::EvalStore(ExplodedNodeSet<GRState>& Dst, // To test (3), generate a new state with the binding removed. If it is // the same state, then it escapes (since the store cannot represent // the binding). - GRStateRef stateNew = state.SetSVal(cast<Loc>(TargetLV), Val); + GRStateRef stateNew = state.BindLoc(cast<Loc>(TargetLV), Val); escapes = (stateNew == state); } } |