73                                 const MemRegion *OtherSmartPtrRegion) const;
745   const MemRegion *OtherSmartPtrRegion = OC->getArgSVal(0).getAsRegion();  in handleAssignOp()  local
747   if (!OtherSmartPtrRegion) {  in handleAssignOp()
765   return updateMovedSmartPointers(C, ThisRegion, OtherSmartPtrRegion);  in handleAssignOp()
770   const auto *OtherSmartPtrRegion = Call.getArgSVal(0).getAsRegion();  in handleMoveCtr()  local
771   if (!OtherSmartPtrRegion)  in handleMoveCtr()
774   return updateMovedSmartPointers(C, ThisRegion, OtherSmartPtrRegion);  in handleMoveCtr()
779     const MemRegion *OtherSmartPtrRegion) const {  in updateMovedSmartPointers()
781   const auto *OtherInnerPtr = State->get<TrackedRegionMap>(OtherSmartPtrRegion);  in updateMovedSmartPointers()
785     State = State->set<TrackedRegionMap>(OtherSmartPtrRegion, NullVal);  in updateMovedSmartPointers()
790         C.getNoteTag([ThisRegion, OtherSmartPtrRegion, IsArgValNull](  in updateMovedSmartPointers()
794           if (BR.isInteresting(OtherSmartPtrRegion)) {  in updateMovedSmartPointers()
796             checkAndPrettyPrintRegion(OS, OtherSmartPtrRegion);  in updateMovedSmartPointers()
803             BR.markInteresting(OtherSmartPtrRegion);  in updateMovedSmartPointers()
812     State = State->set<TrackedRegionMap>(OtherSmartPtrRegion, NullVal);  in updateMovedSmartPointers()
813     C.addTransition(State, C.getNoteTag([OtherSmartPtrRegion,  in updateMovedSmartPointers()
817           !BR.isInteresting(OtherSmartPtrRegion))  in updateMovedSmartPointers()
820       checkAndPrettyPrintRegion(OS, OtherSmartPtrRegion);  in updateMovedSmartPointers()