Searched refs:TrackedRegions (Results 1 – 2 of 2) sorted by relevance
545 TrackedRegionMapTy TrackedRegions = State->get<TrackedRegionMap>(); in checkDeadSymbols() local546 for (auto E : TrackedRegions) { in checkDeadSymbols()590 TrackedRegionMapTy TrackedRegions = State->get<TrackedRegionMap>(); in checkLiveSymbols() local591 for (SVal Val : llvm::make_second_range(TrackedRegions)) { in checkLiveSymbols()
685 TrackedRegionMapTy TrackedRegions = State->get<TrackedRegionMap>(); in checkDeadSymbols() local686 for (auto E : TrackedRegions) { in checkDeadSymbols()