74                                 const MemRegion *OtherSmartPtrRegion,
747   const MemRegion *OtherSmartPtrRegion = OC->getArgSVal(0).getAsRegion();  in handleAssignOp()  local
749   if (!OtherSmartPtrRegion) {  in handleAssignOp()
767   return updateMovedSmartPointers(C, ThisRegion, OtherSmartPtrRegion, Call);  in handleAssignOp()
772   const auto *OtherSmartPtrRegion = Call.getArgSVal(0).getAsRegion();  in handleMoveCtr()  local
773   if (!OtherSmartPtrRegion)  in handleMoveCtr()
776   return updateMovedSmartPointers(C, ThisRegion, OtherSmartPtrRegion, Call);  in handleMoveCtr()
781     const MemRegion *OtherSmartPtrRegion, const CallEvent &Call) const {  in updateMovedSmartPointers()  argument
784   const auto *OtherInnerPtr = State->get<TrackedRegionMap>(OtherSmartPtrRegion);  in updateMovedSmartPointers()
789     State = State->set<TrackedRegionMap>(OtherSmartPtrRegion, NullVal);  in updateMovedSmartPointers()
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()
817     State = State->set<TrackedRegionMap>(OtherSmartPtrRegion, NullVal);  in updateMovedSmartPointers()
818     C.addTransition(State, C.getNoteTag([OtherSmartPtrRegion,  in updateMovedSmartPointers()
822           !BR.isInteresting(OtherSmartPtrRegion))  in updateMovedSmartPointers()
825       checkAndPrettyPrintRegion(OS, OtherSmartPtrRegion);  in updateMovedSmartPointers()