Searched refs:updateSwappedRegion (Results 1 – 1 of 1) sorted by relevance
127 static ProgramStateRef updateSwappedRegion(ProgramStateRef State, in updateSwappedRegion() function420 State = updateSwappedRegion(State, ThisRegion, ArgRegionInnerPointerVal); in handleSwap()421 State = updateSwappedRegion(State, ArgRegion, ThisRegionInnerPointerVal); in handleSwap()