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/FlatStore.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/FlatStore.cpp')
-rw-r--r-- | lib/Checker/FlatStore.cpp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/lib/Checker/FlatStore.cpp b/lib/Checker/FlatStore.cpp index 21fa422166..bda7a632e2 100644 --- a/lib/Checker/FlatStore.cpp +++ b/lib/Checker/FlatStore.cpp @@ -36,7 +36,7 @@ public: const LocationContext *LC, SVal v); Store getInitialStore(const LocationContext *InitLoc) { - return RBFactory.GetEmptyMap().getRoot(); + return RBFactory.getEmptyMap().getRoot(); } SubRegionMap *getSubRegionMap(Store store) { @@ -97,7 +97,7 @@ SVal FlatStoreManager::Retrieve(Store store, Loc L, QualType T) { RegionBindings B = getRegionBindings(store); const BindingVal *BV = B.lookup(RI.R); if (BV) { - const SVal *V = BVFactory.Lookup(*BV, RI.I); + const SVal *V = BVFactory.lookup(*BV, RI.I); if (V) return *V; else @@ -119,7 +119,7 @@ Store FlatStoreManager::Bind(Store store, Loc L, SVal val) { RegionBindings B = getRegionBindings(store); const BindingVal *V = B.lookup(R); - BindingVal BV = BVFactory.GetEmptyMap(); + BindingVal BV = BVFactory.getEmptyMap(); if (V) BV = *V; @@ -127,8 +127,8 @@ Store FlatStoreManager::Bind(Store store, Loc L, SVal val) { // FIXME: FlatStore should handle regions with unknown intervals. if (!RI.R) return B.getRoot(); - BV = BVFactory.Add(BV, RI.I, val); - B = RBFactory.Add(B, RI.R, BV); + BV = BVFactory.add(BV, RI.I, val); + B = RBFactory.add(B, RI.R, BV); return B.getRoot(); } |