Lines Matching refs:TrackedRegionMap

229 REGISTER_MAP_WITH_PROGRAMSTATE(TrackedRegionMap, const MemRegion *, RegionState)
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()
284   const RegionState *TrackedObject = State->get<TrackedRegionMap>(Region);  in VisitNode()
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()
387   State = State->set<TrackedRegionMap>(Region, RegionState::getReported());  in modelUse()
479   if (State->get<TrackedRegionMap>(ArgRegion))  in checkPostCall()
486     State = State->set<TrackedRegionMap>(ArgRegion, RegionState::getMoved());  in checkPostCall()
683   TrackedRegionMapTy TrackedRegions = State->get<TrackedRegionMap>();  in checkDeadSymbols()
690       State = State->remove<TrackedRegionMap>(Region);  in checkDeadSymbols()
735   TrackedRegionMapTy RS = State->get<TrackedRegionMap>();  in printState()