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()686 State->get<TrackedRegionMap>(SecondThisRegion); in handleSwap()[all …]
236 const RegionState *RS = State->get<TrackedRegionMap>(Region); in isMovedFrom()248 for (auto &E : State->get<TrackedRegionMap>()) { in removeFromState()250 State = State->remove<TrackedRegionMap>(E.first); in removeFromState()257 for (auto &E : State->get<TrackedRegionMap>()) { in isAnyBaseRegionReported()286 StatePrev->get<TrackedRegionMap>(Region); in VisitNode()342 if (!State->get<TrackedRegionMap>(Region)) in getMoveLocation()354 const RegionState *RS = State->get<TrackedRegionMap>(Region); in modelUse()480 if (State->get<TrackedRegionMap>(ArgRegion)) in checkPostCall()685 TrackedRegionMapTy TrackedRegions = State->get<TrackedRegionMap>(); in checkDeadSymbols()692 State = State->remove<TrackedRegionMap>(Region); in checkDeadSymbols()[all …]