Searched refs:FirstThisRegion (Results 1 – 1 of 1) sorted by relevance
676 const MemRegion *FirstThisRegion = First.getAsRegion(); in handleSwap() local677 if (!FirstThisRegion) in handleSwap()683 const auto *FirstInnerPtrVal = State->get<TrackedRegionMap>(FirstThisRegion); in handleSwap()687 State = updateSwappedRegion(State, FirstThisRegion, SecondInnerPtrVal); in handleSwap()690 C.addTransition(State, C.getNoteTag([FirstThisRegion, SecondThisRegion]( in handleSwap()695 if (BR.isInteresting(FirstThisRegion) && in handleSwap()698 BR.markNotInteresting(FirstThisRegion); in handleSwap()701 !BR.isInteresting(FirstThisRegion)) { in handleSwap()702 BR.markInteresting(FirstThisRegion); in handleSwap()