Searched refs:updateSwappedRegion (Results 1 – 1 of 1) sorted by relevance
172 static ProgramStateRef updateSwappedRegion(ProgramStateRef State, in updateSwappedRegion() function688 State = updateSwappedRegion(State, FirstThisRegion, SecondInnerPtrVal); in handleSwap()689 State = updateSwappedRegion(State, SecondThisRegion, FirstInnerPtrVal); in handleSwap()