Searched refs:FirstThisRegion (Results 1 – 1 of 1) sorted by relevance
677 const MemRegion *FirstThisRegion = First.getAsRegion(); in handleSwap() local678 if (!FirstThisRegion) in handleSwap()684 const auto *FirstInnerPtrVal = State->get<TrackedRegionMap>(FirstThisRegion); in handleSwap()688 State = updateSwappedRegion(State, FirstThisRegion, SecondInnerPtrVal); in handleSwap()691 C.addTransition(State, C.getNoteTag([FirstThisRegion, SecondThisRegion]( in handleSwap()696 if (BR.isInteresting(FirstThisRegion) && in handleSwap()699 BR.markNotInteresting(FirstThisRegion); in handleSwap()702 !BR.isInteresting(FirstThisRegion)) { in handleSwap()703 BR.markInteresting(FirstThisRegion); in handleSwap()