Searched refs:RegionInnerPointerVal (Results 1 – 1 of 1) sorted by relevance
173 const SVal *RegionInnerPointerVal) { in updateSwappedRegion() argument174 if (RegionInnerPointerVal) { in updateSwappedRegion()175 State = State->set<TrackedRegionMap>(Region, *RegionInnerPointerVal); in updateSwappedRegion()