Lines Matching refs:RegionStoreManager
165 // updated, so it could potentially be moved into RegionStoreManager
322 // Fine-grained control of RegionStoreManager.
351 class RegionStoreManager : public StoreManager {
381 RegionStoreManager(ProgramStateManager& mgr, const RegionStoreFeatures &f)
670 return std::make_unique<RegionStoreManager>(StMgr, F);
677 return std::make_unique<RegionStoreManager>(StMgr, F);
708 RegionStoreManager &RM;
728 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr,
790 bool RegionStoreManager::scanReachableSymbols(Store S, const MemRegion *R,
939 RegionStoreManager::removeSubRegionBindings(RegionBindingsConstRef B,
996 InvalidateRegionsWorker(RegionStoreManager &rm,
1047 const RegionStoreManager::SValListTy &Vals = RM.getInterestingValues(*LCS);
1049 for (RegionStoreManager::SValListTy::const_iterator I = Vals.begin(),
1272 RegionStoreManager::invalidateGlobalRegion(MemRegion::Kind K,
1296 void RegionStoreManager::populateWorkList(InvalidateRegionsWorker &W,
1327 RegionStoreManager::invalidateRegions(Store store,
1391 SVal RegionStoreManager::ArrayToPointer(Loc Array, QualType T) {
1408 SVal RegionStoreManager::getBinding(RegionBindingsConstRef B, Loc L, QualType T) {
1550 /// Note that unlike RegionStoreManager::findLazyBinding, this will not search
1588 RegionStoreManager::findLazyBinding(RegionBindingsConstRef B,
1629 SVal RegionStoreManager::getBindingForElement(RegionBindingsConstRef B,
1735 SVal RegionStoreManager::getBindingForField(RegionBindingsConstRef B,
1777 RegionStoreManager::getBindingForDerivedDefaultValue(RegionBindingsConstRef B,
1805 SVal RegionStoreManager::getLazyBinding(const SubRegion *LazyBindingRegion,
1835 RegionStoreManager::getBindingForFieldOrElementCommon(RegionBindingsConstRef B,
1920 SVal RegionStoreManager::getBindingForObjCIvar(RegionBindingsConstRef B,
1940 SVal RegionStoreManager::getBindingForVar(RegionBindingsConstRef B,
2003 SVal RegionStoreManager::getBindingForLazySymbol(const TypedValueRegion *R) {
2008 const RegionStoreManager::SValListTy &
2009 RegionStoreManager::getInterestingValues(nonloc::LazyCompoundVal LCV) {
2050 NonLoc RegionStoreManager::createLazyBinding(RegionBindingsConstRef B,
2067 SVal RegionStoreManager::getBindingForStruct(RegionBindingsConstRef B,
2076 SVal RegionStoreManager::getBindingForArray(RegionBindingsConstRef B,
2084 bool RegionStoreManager::includedInBindings(Store store,
2112 StoreRef RegionStoreManager::killBinding(Store ST, Loc L) {
2124 RegionStoreManager::bind(RegionBindingsConstRef B, Loc L, SVal V) {
2163 RegionStoreManager::setImplicitDefaultValue(RegionBindingsConstRef B,
2190 RegionStoreManager::bindArray(RegionBindingsConstRef B,
2248 RegionBindingsRef RegionStoreManager::bindVector(RegionBindingsConstRef B,
2289 RegionStoreManager::tryBindSmallStruct(RegionBindingsConstRef B,
2328 RegionBindingsRef RegionStoreManager::bindStruct(RegionBindingsConstRef B,
2448 RegionStoreManager::bindAggregate(RegionBindingsConstRef B,
2468 RemoveDeadBindingsWorker(RegionStoreManager &rm,
2552 const RegionStoreManager::SValListTy &Vals = RM.getInterestingValues(*LCS);
2554 for (RegionStoreManager::SValListTy::const_iterator I = Vals.begin(),
2599 StoreRef RegionStoreManager::removeDeadBindings(Store store,
2633 void RegionStoreManager::printJson(raw_ostream &Out, Store S, const char *NL,