Searched refs:TrackedRegionMap (Results 1 – 2 of 2) sorted by relevance
178 State = State->remove<TrackedRegionMap>(Region); in updateSwappedRegion()313 State = State->set<TrackedRegionMap>(ThisRegion, PtrVal); in evalCall()408 State = State->set<TrackedRegionMap>(ThisRegion, ArgVal); in evalCall()442 const auto *Ptr = State->get<TrackedRegionMap>(ThisRegion); in retrieveOrConjureInnerPtrVal()447 State = State->set<TrackedRegionMap>(ThisRegion, Val); in retrieveOrConjureInnerPtrVal()551 State = State->remove<TrackedRegionMap>(Region); in checkDeadSymbols()558 TrackedRegionMapTy RS = State->get<TrackedRegionMap>(); in printState()580 State->get_context<TrackedRegionMap>(); in checkRegionChanges()584 return State->set<TrackedRegionMap>(RegionMap); in checkRegionChanges()687 State->get<TrackedRegionMap>(SecondThisRegion); in handleSwap()[all …]
235 const RegionState *RS = State->get<TrackedRegionMap>(Region); in isMovedFrom()247 for (auto &E : State->get<TrackedRegionMap>()) { in removeFromState()249 State = State->remove<TrackedRegionMap>(E.first); in removeFromState()256 for (auto &E : State->get<TrackedRegionMap>()) { in isAnyBaseRegionReported()285 StatePrev->get<TrackedRegionMap>(Region); in VisitNode()341 if (!State->get<TrackedRegionMap>(Region)) in getMoveLocation()353 const RegionState *RS = State->get<TrackedRegionMap>(Region); in modelUse()478 if (State->get<TrackedRegionMap>(ArgRegion)) in checkPostCall()682 TrackedRegionMapTy TrackedRegions = State->get<TrackedRegionMap>(); in checkDeadSymbols()689 State = State->remove<TrackedRegionMap>(Region); in checkDeadSymbols()[all …]