Lines Matching defs:RegionStoreManager
166 // updated, so it could potentially be moved into RegionStoreManager
393 class RegionStoreManager : public StoreManager {
431 RegionStoreManager(ProgramStateManager &mgr)
732 return std::make_unique<RegionStoreManager>(StMgr);
762 RegionStoreManager &RM;
782 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr,
844 bool RegionStoreManager::scanReachableSymbols(Store S, const MemRegion *R,
992 RegionStoreManager::removeSubRegionBindings(RegionBindingsConstRef B,
1047 InvalidateRegionsWorker(RegionStoreManager &rm, ProgramStateManager &stateMgr,
1312 RegionBindingsRef RegionStoreManager::invalidateGlobalRegion(
1334 void RegionStoreManager::populateWorkList(InvalidateRegionsWorker &W,
1355 StoreRef RegionStoreManager::invalidateRegions(
1415 SVal RegionStoreManager::ArrayToPointer(Loc Array, QualType T) {
1432 SVal RegionStoreManager::getBinding(RegionBindingsConstRef B, Loc L, QualType T) {
1575 /// Note that unlike RegionStoreManager::findLazyBinding, this will not search
1613 RegionStoreManager::findLazyBinding(RegionBindingsConstRef B,
1761 std::optional<SVal> RegionStoreManager::getConstantValFromConstArrayInitializer(
1857 std::optional<SVal> RegionStoreManager::getSValFromInitListExpr(
1921 SVal RegionStoreManager::getSValFromStringLiteral(const StringLiteral *SL,
1957 SVal RegionStoreManager::getBindingForElement(RegionBindingsConstRef B,
2008 SVal RegionStoreManager::getBindingForField(RegionBindingsConstRef B,
2063 std::optional<SVal> RegionStoreManager::getBindingForDerivedDefaultValue(
2089 SVal RegionStoreManager::getLazyBinding(const SubRegion *LazyBindingRegion,
2119 RegionStoreManager::getBindingForFieldOrElementCommon(RegionBindingsConstRef B,
2210 SVal RegionStoreManager::getBindingForObjCIvar(RegionBindingsConstRef B,
2230 SVal RegionStoreManager::getBindingForVar(RegionBindingsConstRef B,
2293 SVal RegionStoreManager::getBindingForLazySymbol(const TypedValueRegion *R) {
2298 const RegionStoreManager::SValListTy &
2299 RegionStoreManager::getInterestingValues(nonloc::LazyCompoundVal LCV) {
2335 NonLoc RegionStoreManager::createLazyBinding(RegionBindingsConstRef B,
2344 SVal RegionStoreManager::getBindingForStruct(RegionBindingsConstRef B,
2362 SVal RegionStoreManager::getBindingForArray(RegionBindingsConstRef B,
2370 bool RegionStoreManager::includedInBindings(Store store,
2398 StoreRef RegionStoreManager::killBinding(Store ST, Loc L) {
2410 RegionStoreManager::bind(RegionBindingsConstRef B, Loc L, SVal V) {
2453 RegionStoreManager::setImplicitDefaultValue(RegionBindingsConstRef B,
2479 std::optional<RegionBindingsRef> RegionStoreManager::tryBindSmallArray(
2514 RegionStoreManager::bindArray(RegionBindingsConstRef B,
2578 RegionBindingsRef RegionStoreManager::bindVector(RegionBindingsConstRef B,
2619 RegionStoreManager::getUniqueDefaultBinding(RegionBindingsConstRef B,
2633 RegionStoreManager::getUniqueDefaultBinding(nonloc::LazyCompoundVal LCV) const {
2638 std::optional<RegionBindingsRef> RegionStoreManager::tryBindSmallStruct(
2700 RegionBindingsRef RegionStoreManager::bindStruct(RegionBindingsConstRef B,
2818 RegionStoreManager::bindAggregate(RegionBindingsConstRef B,
2838 RemoveDeadBindingsWorker(RegionStoreManager &rm,
2966 StoreRef RegionStoreManager::removeDeadBindings(Store store,
2997 void RegionStoreManager::printJson(raw_ostream &Out, Store S, const char *NL,