73                                 const MemRegion *OtherSmartPtrRegion,
746   const MemRegion *OtherSmartPtrRegion = OC->getArgSVal(0).getAsRegion();  in handleAssignOp()  local
748   if (!OtherSmartPtrRegion) {  in handleAssignOp()
766   return updateMovedSmartPointers(C, ThisRegion, OtherSmartPtrRegion, Call);  in handleAssignOp()
771   const auto *OtherSmartPtrRegion = Call.getArgSVal(0).getAsRegion();  in handleMoveCtr()  local
772   if (!OtherSmartPtrRegion)  in handleMoveCtr()
775   return updateMovedSmartPointers(C, ThisRegion, OtherSmartPtrRegion, Call);  in handleMoveCtr()
780     const MemRegion *OtherSmartPtrRegion, const CallEvent &Call) const {  in updateMovedSmartPointers()  argument
783   const auto *OtherInnerPtr = State->get<TrackedRegionMap>(OtherSmartPtrRegion);  in updateMovedSmartPointers()
788     State = State->set<TrackedRegionMap>(OtherSmartPtrRegion, NullVal);  in updateMovedSmartPointers()
793         C.getNoteTag([ThisRegion, OtherSmartPtrRegion, IsArgValNull](  in updateMovedSmartPointers()
797           if (BR.isInteresting(OtherSmartPtrRegion)) {  in updateMovedSmartPointers()
799             checkAndPrettyPrintRegion(OS, OtherSmartPtrRegion);  in updateMovedSmartPointers()
806             BR.markInteresting(OtherSmartPtrRegion);  in updateMovedSmartPointers()
816     State = State->set<TrackedRegionMap>(OtherSmartPtrRegion, NullVal);  in updateMovedSmartPointers()
817     C.addTransition(State, C.getNoteTag([OtherSmartPtrRegion,  in updateMovedSmartPointers()
821           !BR.isInteresting(OtherSmartPtrRegion))  in updateMovedSmartPointers()
824       checkAndPrettyPrintRegion(OS, OtherSmartPtrRegion);  in updateMovedSmartPointers()