aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/FlatStore.cpp
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2010-11-24 00:54:37 +0000
committerTed Kremenek <kremenek@apple.com>2010-11-24 00:54:37 +0000
commit3baf672378f105602d2b12f03f00277ae1936fe9 (patch)
tree3aff1c30c5f276162a7544f9b9786275beea410a /lib/Checker/FlatStore.cpp
parent97ab3ac0889b4956d518a145317e2d951428ba34 (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.cpp10
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();
}