Lines Matching refs:TrackedRegionMap
224 REGISTER_MAP_WITH_PROGRAMSTATE(TrackedRegionMap, const MemRegion *, RegionState) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
231 for (auto &E : State->get<TrackedRegionMap>()) { in REGISTER_MAP_WITH_PROGRAMSTATE()
233 State = State->remove<TrackedRegionMap>(E.first); in REGISTER_MAP_WITH_PROGRAMSTATE()
240 for (auto &E : State->get<TrackedRegionMap>()) { in isAnyBaseRegionReported()
266 const RegionState *TrackedObject = State->get<TrackedRegionMap>(Region); in VisitNode()
268 StatePrev->get<TrackedRegionMap>(Region); in VisitNode()
324 if (!State->get<TrackedRegionMap>(Region)) in getMoveLocation()
336 const RegionState *RS = State->get<TrackedRegionMap>(Region); in modelUse()
369 State = State->set<TrackedRegionMap>(Region, RegionState::getReported()); in modelUse()
466 if (State->get<TrackedRegionMap>(ArgRegion)) in checkPostCall()
473 State = State->set<TrackedRegionMap>(ArgRegion, RegionState::getMoved()); in checkPostCall()
670 TrackedRegionMapTy TrackedRegions = State->get<TrackedRegionMap>(); in checkDeadSymbols()
677 State = State->remove<TrackedRegionMap>(Region); in checkDeadSymbols()
722 TrackedRegionMapTy RS = State->get<TrackedRegionMap>(); in printState()