Lines Matching refs:TrackedRegionMap

228 REGISTER_MAP_WITH_PROGRAMSTATE(TrackedRegionMap, const MemRegion *, RegionState)
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()
283   const RegionState *TrackedObject = State->get<TrackedRegionMap>(Region);  in VisitNode()
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()
386   State = State->set<TrackedRegionMap>(Region, RegionState::getReported());  in modelUse()
478   if (State->get<TrackedRegionMap>(ArgRegion))  in checkPostCall()
485     State = State->set<TrackedRegionMap>(ArgRegion, RegionState::getMoved());  in checkPostCall()
682   TrackedRegionMapTy TrackedRegions = State->get<TrackedRegionMap>();  in checkDeadSymbols()
689       State = State->remove<TrackedRegionMap>(Region);  in checkDeadSymbols()
731   TrackedRegionMapTy RS = State->get<TrackedRegionMap>();  in printState()