Searched refs:TrackedRegionMap (Results 1 – 1 of 1) sorted by relevance
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()466 if (State->get<TrackedRegionMap>(ArgRegion)) in checkPostCall()670 TrackedRegionMapTy TrackedRegions = State->get<TrackedRegionMap>(); in checkDeadSymbols()677 State = State->remove<TrackedRegionMap>(Region); in checkDeadSymbols()[all …]