Home
last modified time | relevance | path

Searched refs:SecondThisRegion (Results 1 – 1 of 1) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DSmartPtrModeling.cpp679 const MemRegion *SecondThisRegion = Second.getAsRegion(); in handleSwap() local
680 if (!SecondThisRegion) in handleSwap()
685 State->get<TrackedRegionMap>(SecondThisRegion); in handleSwap()
688 State = updateSwappedRegion(State, SecondThisRegion, FirstInnerPtrVal); in handleSwap()
690 C.addTransition(State, C.getNoteTag([FirstThisRegion, SecondThisRegion]( in handleSwap()
696 !BR.isInteresting(SecondThisRegion)) { in handleSwap()
697 BR.markInteresting(SecondThisRegion); in handleSwap()
700 if (BR.isInteresting(SecondThisRegion) && in handleSwap()
703 BR.markNotInteresting(SecondThisRegion); in handleSwap()