Searched refs:SecondThisRegion (Results 1 – 1 of 1) sorted by relevance
680 const MemRegion *SecondThisRegion = Second.getAsRegion(); in handleSwap() local681 if (!SecondThisRegion) in handleSwap()686 State->get<TrackedRegionMap>(SecondThisRegion); in handleSwap()689 State = updateSwappedRegion(State, SecondThisRegion, FirstInnerPtrVal); in handleSwap()691 C.addTransition(State, C.getNoteTag([FirstThisRegion, SecondThisRegion]( in handleSwap()697 !BR.isInteresting(SecondThisRegion)) { in handleSwap()698 BR.markInteresting(SecondThisRegion); in handleSwap()701 if (BR.isInteresting(SecondThisRegion) && in handleSwap()704 BR.markNotInteresting(SecondThisRegion); in handleSwap()