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 | b3b56c6bcd9fddd1d0f52c178c41cb34fac19049 (patch) | |
tree | 830b0bcb407be748d377b367700f47524d6a1823 /clang/lib/Checker/BasicConstraintManager.cpp | |
parent | 1ef52416c7e4bfc6936803747264210fcb74138f (diff) | |
download | bcm5719-llvm-b3b56c6bcd9fddd1d0f52c178c41cb34fac19049.tar.gz bcm5719-llvm-b3b56c6bcd9fddd1d0f52c178c41cb34fac19049.zip |
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.
llvm-svn: 120071
Diffstat (limited to 'clang/lib/Checker/BasicConstraintManager.cpp')
-rw-r--r-- | clang/lib/Checker/BasicConstraintManager.cpp | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/clang/lib/Checker/BasicConstraintManager.cpp b/clang/lib/Checker/BasicConstraintManager.cpp index eee5c594667..b8da6b71af1 100644 --- a/clang/lib/Checker/BasicConstraintManager.cpp +++ b/clang/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); |