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