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