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