diff options
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); |