Lines Matching refs:RegionStoreManager
327 class RegionStoreManager : public StoreManager { class
365 RegionStoreManager(ProgramStateManager &mgr) in RegionStoreManager() function in __anone91272100411::RegionStoreManager
666 return std::make_unique<RegionStoreManager>(StMgr); in CreateRegionStoreManager()
696 RegionStoreManager &RM;
716 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr, in ClusterAnalysis()
778 bool RegionStoreManager::scanReachableSymbols(Store S, const MemRegion *R, in scanReachableSymbols()
927 RegionStoreManager::removeSubRegionBindings(RegionBindingsConstRef B, in removeSubRegionBindings()
984 InvalidateRegionsWorker(RegionStoreManager &rm, in InvalidateRegionsWorker()
1035 const RegionStoreManager::SValListTy &Vals = RM.getInterestingValues(*LCS); in VisitBinding()
1037 for (RegionStoreManager::SValListTy::const_iterator I = Vals.begin(), in VisitBinding()
1260 RegionStoreManager::invalidateGlobalRegion(MemRegion::Kind K, in invalidateGlobalRegion()
1284 void RegionStoreManager::populateWorkList(InvalidateRegionsWorker &W, in populateWorkList()
1315 RegionStoreManager::invalidateRegions(Store store, in invalidateRegions()
1379 SVal RegionStoreManager::ArrayToPointer(Loc Array, QualType T) { in ArrayToPointer()
1396 SVal RegionStoreManager::getBinding(RegionBindingsConstRef B, Loc L, QualType T) { in getBinding()
1576 RegionStoreManager::findLazyBinding(RegionBindingsConstRef B, in findLazyBinding()
1724 Optional<SVal> RegionStoreManager::getConstantValFromConstArrayInitializer( in getConstantValFromConstArrayInitializer()
1820 Optional<SVal> RegionStoreManager::getSValFromInitListExpr( in getSValFromInitListExpr()
1880 SVal RegionStoreManager::getSValFromStringLiteral(const StringLiteral *SL, in getSValFromStringLiteral()
1915 SVal RegionStoreManager::getBindingForElement(RegionBindingsConstRef B, in getBindingForElement()
1966 SVal RegionStoreManager::getBindingForField(RegionBindingsConstRef B, in getBindingForField()
2022 RegionStoreManager::getBindingForDerivedDefaultValue(RegionBindingsConstRef B, in getBindingForDerivedDefaultValue()
2049 SVal RegionStoreManager::getLazyBinding(const SubRegion *LazyBindingRegion, in getLazyBinding()
2079 RegionStoreManager::getBindingForFieldOrElementCommon(RegionBindingsConstRef B, in getBindingForFieldOrElementCommon()
2169 SVal RegionStoreManager::getBindingForObjCIvar(RegionBindingsConstRef B, in getBindingForObjCIvar()
2189 SVal RegionStoreManager::getBindingForVar(RegionBindingsConstRef B, in getBindingForVar()
2252 SVal RegionStoreManager::getBindingForLazySymbol(const TypedValueRegion *R) { in getBindingForLazySymbol()
2257 const RegionStoreManager::SValListTy &
2258 RegionStoreManager::getInterestingValues(nonloc::LazyCompoundVal LCV) { in getInterestingValues()
2299 NonLoc RegionStoreManager::createLazyBinding(RegionBindingsConstRef B, in createLazyBinding()
2316 SVal RegionStoreManager::getBindingForStruct(RegionBindingsConstRef B, in getBindingForStruct()
2325 SVal RegionStoreManager::getBindingForArray(RegionBindingsConstRef B, in getBindingForArray()
2333 bool RegionStoreManager::includedInBindings(Store store, in includedInBindings()
2361 StoreRef RegionStoreManager::killBinding(Store ST, Loc L) { in killBinding()
2373 RegionStoreManager::bind(RegionBindingsConstRef B, Loc L, SVal V) { in bind()
2412 RegionStoreManager::setImplicitDefaultValue(RegionBindingsConstRef B, in setImplicitDefaultValue()
2438 Optional<RegionBindingsRef> RegionStoreManager::tryBindSmallArray( in tryBindSmallArray()
2473 RegionStoreManager::bindArray(RegionBindingsConstRef B, in bindArray()
2536 RegionBindingsRef RegionStoreManager::bindVector(RegionBindingsConstRef B, in bindVector()
2577 RegionStoreManager::tryBindSmallStruct(RegionBindingsConstRef B, in tryBindSmallStruct()
2616 RegionBindingsRef RegionStoreManager::bindStruct(RegionBindingsConstRef B, in bindStruct()
2733 RegionStoreManager::bindAggregate(RegionBindingsConstRef B, in bindAggregate()
2753 RemoveDeadBindingsWorker(RegionStoreManager &rm, in RemoveDeadBindingsWorker()
2837 const RegionStoreManager::SValListTy &Vals = RM.getInterestingValues(*LCS); in VisitBinding()
2839 for (RegionStoreManager::SValListTy::const_iterator I = Vals.begin(), in VisitBinding()
2884 StoreRef RegionStoreManager::removeDeadBindings(Store store, in removeDeadBindings()
2918 void RegionStoreManager::printJson(raw_ostream &Out, Store S, const char *NL, in printJson()