diff options
author | Ted Kremenek <kremenek@apple.com> | 2010-11-24 00:54:37 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2010-11-24 00:54:37 +0000 |
commit | 3baf672378f105602d2b12f03f00277ae1936fe9 (patch) | |
tree | 3aff1c30c5f276162a7544f9b9786275beea410a /lib/Checker/BasicConstraintManager.cpp | |
parent | 97ab3ac0889b4956d518a145317e2d951428ba34 (diff) |
Adjust method calls to reflect name changes in
ImmutableSet/ImmtuableMap/ImmutableList APIs.
Along the way, clean up some method names in
the static analyzer so that they are more
descriptive and/or start with lowercase letters.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@120071 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/BasicConstraintManager.cpp')
-rw-r--r-- | lib/Checker/BasicConstraintManager.cpp | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/lib/Checker/BasicConstraintManager.cpp b/lib/Checker/BasicConstraintManager.cpp index eee5c59466..b8da6b71af 100644 --- a/lib/Checker/BasicConstraintManager.cpp +++ b/lib/Checker/BasicConstraintManager.cpp @@ -237,10 +237,10 @@ const GRState* BasicConstraintManager::AddNE(const GRState* state, SymbolRef sym // First, retrieve the NE-set associated with the given symbol. ConstNotEqTy::data_type* T = state->get<ConstNotEq>(sym); - GRState::IntSetTy S = T ? *T : ISetFactory.GetEmptySet(); + GRState::IntSetTy S = T ? *T : ISetFactory.getEmptySet(); // Now add V to the NE set. - S = ISetFactory.Add(S, &state->getBasicVals().getValue(V)); + S = ISetFactory.add(S, &state->getBasicVals().getValue(V)); // Create a new state with the old binding replaced. return state->set<ConstNotEq>(sym, S); @@ -281,7 +281,8 @@ BasicConstraintManager::RemoveDeadBindings(const GRState* state, for (ConstEqTy::iterator I = CE.begin(), E = CE.end(); I!=E; ++I) { SymbolRef sym = I.getKey(); - if (SymReaper.maybeDead(sym)) CE = CEFactory.Remove(CE, sym); + if (SymReaper.maybeDead(sym)) + CE = CEFactory.remove(CE, sym); } state = state->set<ConstEq>(CE); @@ -290,7 +291,8 @@ BasicConstraintManager::RemoveDeadBindings(const GRState* state, for (ConstNotEqTy::iterator I = CNE.begin(), E = CNE.end(); I != E; ++I) { SymbolRef sym = I.getKey(); - if (SymReaper.maybeDead(sym)) CNE = CNEFactory.Remove(CNE, sym); + if (SymReaper.maybeDead(sym)) + CNE = CNEFactory.remove(CNE, sym); } return state->set<ConstNotEq>(CNE); |