Searched refs:TrackedRegionMap (Results 1 – 2 of 2) sorted by relevance
177 State = State->remove<TrackedRegionMap>(Region); in updateSwappedRegion()311 State = State->set<TrackedRegionMap>(ThisRegion, PtrVal); in evalCall()406 State = State->set<TrackedRegionMap>(ThisRegion, ArgVal); in evalCall()440 const auto *Ptr = State->get<TrackedRegionMap>(ThisRegion); in retrieveOrConjureInnerPtrVal()445 State = State->set<TrackedRegionMap>(ThisRegion, Val); in retrieveOrConjureInnerPtrVal()549 State = State->remove<TrackedRegionMap>(Region); in checkDeadSymbols()556 TrackedRegionMapTy RS = State->get<TrackedRegionMap>(); in printState()578 State->get_context<TrackedRegionMap>(); in checkRegionChanges()582 return State->set<TrackedRegionMap>(RegionMap); in checkRegionChanges()685 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 …]