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/RangeConstraintManager.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/RangeConstraintManager.cpp')
-rw-r--r-- | lib/Checker/RangeConstraintManager.cpp | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/lib/Checker/RangeConstraintManager.cpp b/lib/Checker/RangeConstraintManager.cpp index 697694e72a..0a15c2ad04 100644 --- a/lib/Checker/RangeConstraintManager.cpp +++ b/lib/Checker/RangeConstraintManager.cpp @@ -91,7 +91,7 @@ public: /// Construct a new RangeSet representing '{ [from, to] }'. RangeSet(Factory &F, const llvm::APSInt &from, const llvm::APSInt &to) - : ranges(F.Add(F.GetEmptySet(), Range(from, to))) {} + : ranges(F.add(F.getEmptySet(), Range(from, to))) {} /// Profile - Generates a hash profile of this RangeSet for use /// by FoldingSet. @@ -129,17 +129,17 @@ private: if (i->Includes(Lower)) { if (i->Includes(Upper)) { - newRanges = F.Add(newRanges, Range(BV.getValue(Lower), + newRanges = F.add(newRanges, Range(BV.getValue(Lower), BV.getValue(Upper))); break; } else - newRanges = F.Add(newRanges, Range(BV.getValue(Lower), i->To())); + newRanges = F.add(newRanges, Range(BV.getValue(Lower), i->To())); } else { if (i->Includes(Upper)) { - newRanges = F.Add(newRanges, Range(i->From(), BV.getValue(Upper))); + newRanges = F.add(newRanges, Range(i->From(), BV.getValue(Upper))); break; } else - newRanges = F.Add(newRanges, *i); + newRanges = F.add(newRanges, *i); } } } @@ -155,7 +155,7 @@ public: RangeSet Intersect(BasicValueFactory &BV, Factory &F, const llvm::APSInt &Lower, const llvm::APSInt &Upper) const { - PrimRangeSet newRanges = F.GetEmptySet(); + PrimRangeSet newRanges = F.getEmptySet(); PrimRangeSet::iterator i = begin(), e = end(); if (Lower <= Upper) @@ -274,7 +274,7 @@ RangeConstraintManager::RemoveDeadBindings(const GRState* state, for (ConstraintRangeTy::iterator I = CR.begin(), E = CR.end(); I != E; ++I) { SymbolRef sym = I.getKey(); if (SymReaper.maybeDead(sym)) - CR = CRFactory.Remove(CR, sym); + CR = CRFactory.remove(CR, sym); } return state->set<ConstraintRange>(CR); |