Searched refs:OtherSmartPtrRegion (Results 1 – 1 of 1) sorted by relevance
74 const MemRegion *OtherSmartPtrRegion,749 if (!OtherSmartPtrRegion) { in handleAssignOp()772 const auto *OtherSmartPtrRegion = Call.getArgSVal(0).getAsRegion(); in handleMoveCtr() local773 if (!OtherSmartPtrRegion) in handleMoveCtr()794 C.getNoteTag([ThisRegion, OtherSmartPtrRegion, IsArgValNull]( in updateMovedSmartPointers()798 if (BR.isInteresting(OtherSmartPtrRegion)) { in updateMovedSmartPointers()800 checkAndPrettyPrintRegion(OS, OtherSmartPtrRegion); in updateMovedSmartPointers()807 BR.markInteresting(OtherSmartPtrRegion); in updateMovedSmartPointers()818 C.addTransition(State, C.getNoteTag([OtherSmartPtrRegion, in updateMovedSmartPointers()822 !BR.isInteresting(OtherSmartPtrRegion)) in updateMovedSmartPointers()[all …]