diff options
Diffstat (limited to 'lib/Checker/BasicStore.cpp')
| -rw-r--r-- | lib/Checker/BasicStore.cpp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/lib/Checker/BasicStore.cpp b/lib/Checker/BasicStore.cpp index 3a5d20ca00..4fb0387ed5 100644 --- a/lib/Checker/BasicStore.cpp +++ b/lib/Checker/BasicStore.cpp @@ -218,7 +218,7 @@ Store BasicStoreManager::Bind(Store store, Loc loc, SVal V) { // that is used to derive other symbols. if (isa<NonStaticGlobalSpaceRegion>(R)) { BindingsTy B = GetBindings(store); - return VBFactory.Add(B, R, V).getRoot(); + return VBFactory.add(B, R, V).getRoot(); } // Special case: handle store of pointer values (Loc) to pointers via @@ -256,8 +256,8 @@ Store BasicStoreManager::Bind(Store store, Loc loc, SVal V) { BindingsTy B = GetBindings(store); return V.isUnknown() - ? VBFactory.Remove(B, R).getRoot() - : VBFactory.Add(B, R, V).getRoot(); + ? VBFactory.remove(B, R).getRoot() + : VBFactory.add(B, R, V).getRoot(); } Store BasicStoreManager::Remove(Store store, Loc loc) { @@ -269,7 +269,7 @@ Store BasicStoreManager::Remove(Store store, Loc loc) { isa<CXXThisRegion>(R))) return store; - return VBFactory.Remove(GetBindings(store), R).getRoot(); + return VBFactory.remove(GetBindings(store), R).getRoot(); } default: assert ("Remove for given Loc type not yet implemented."); @@ -394,7 +394,7 @@ Store BasicStoreManager::getInitialStore(const LocationContext *InitLoc) { // any VarDecl whose value originally comes from outside the function. typedef LiveVariables::AnalysisDataTy LVDataTy; LVDataTy& D = InitLoc->getLiveVariables()->getAnalysisData(); - Store St = VBFactory.GetEmptyMap().getRoot(); + Store St = VBFactory.getEmptyMap().getRoot(); for (LVDataTy::decl_iterator I=D.begin_decl(), E=D.end_decl(); I != E; ++I) { const NamedDecl* ND = I->first; |