71                      const MemRegion *ThisRegion) const;
72   bool updateMovedSmartPointers(CheckerContext &C, const MemRegion *ThisRegion,
82                                const MemRegion *ThisRegion, const Expr *E,
148 bool isNullSmartPtr(const ProgramStateRef State, const MemRegion *ThisRegion) {  in isNullSmartPtr()  argument
149   const auto *InnerPointVal = State->get<TrackedRegionMap>(ThisRegion);  in isNullSmartPtr()
310     const MemRegion *ThisRegion = ThisRegionOpt->getAsRegion();  in evalCall()  local
311     State = State->set<TrackedRegionMap>(ThisRegion, PtrVal);  in evalCall()
378     const MemRegion *ThisRegion = CC->getCXXThisVal().getAsRegion();  in evalCall()  local
379     if (!ThisRegion)  in evalCall()
385       return handleMoveCtr(Call, C, ThisRegion);  in evalCall()
389       State = State->set<TrackedRegionMap>(ThisRegion, NullVal);  in evalCall()
392           State, C.getNoteTag([ThisRegion](PathSensitiveBugReport &BR,  in evalCall()
395                 !BR.isInteresting(ThisRegion))  in evalCall()
398             checkAndPrettyPrintRegion(OS, ThisRegion);  in evalCall()
406       State = State->set<TrackedRegionMap>(ThisRegion, ArgVal);  in evalCall()
408       C.addTransition(State, C.getNoteTag([ThisRegion, TrackingExpr,  in evalCall()
412             !BR.isInteresting(ThisRegion))  in evalCall()
416         checkAndPrettyPrintRegion(OS, ThisRegion);  in evalCall()
438     ProgramStateRef State, const MemRegion *ThisRegion, const Expr *E,  in retrieveOrConjureInnerPtrVal()  argument
440   const auto *Ptr = State->get<TrackedRegionMap>(ThisRegion);  in retrieveOrConjureInnerPtrVal()
445   State = State->set<TrackedRegionMap>(ThisRegion, Val);  in retrieveOrConjureInnerPtrVal()
604   const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion();  in handleReset()  local
605   if (!ThisRegion)  in handleReset()
610   State = State->set<TrackedRegionMap>(ThisRegion, Call.getArgSVal(0));  in handleReset()
613       State, C.getNoteTag([ThisRegion, TrackingExpr](PathSensitiveBugReport &BR,  in handleReset()
616             !BR.isInteresting(ThisRegion))  in handleReset()
620         checkAndPrettyPrintRegion(OS, ThisRegion);  in handleReset()
634   const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion();  in handleRelease()  local
635   if (!ThisRegion)  in handleRelease()
638   const auto *InnerPointVal = State->get<TrackedRegionMap>(ThisRegion);  in handleRelease()
647   State = State->set<TrackedRegionMap>(ThisRegion, ValueToUpdate);  in handleRelease()
649   C.addTransition(State, C.getNoteTag([ThisRegion](PathSensitiveBugReport &BR,  in handleRelease()
652         !BR.isInteresting(ThisRegion))  in handleRelease()
656     checkAndPrettyPrintRegion(OS, ThisRegion);  in handleRelease()
718   const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion();  in handleGet()  local
719   if (!ThisRegion)  in handleGet()
724       State, ThisRegion, Call.getOriginExpr(), Call.getResultType(), C);  in handleGet()
740   const MemRegion *ThisRegion = OC->getCXXThisVal().getAsRegion();  in handleAssignOp()  local
741   if (!ThisRegion)  in handleAssignOp()
753     State = State->set<TrackedRegionMap>(ThisRegion, NullVal);  in handleAssignOp()
754     C.addTransition(State, C.getNoteTag([ThisRegion](PathSensitiveBugReport &BR,  in handleAssignOp()
757           !BR.isInteresting(ThisRegion))  in handleAssignOp()
760       checkAndPrettyPrintRegion(OS, ThisRegion);  in handleAssignOp()
766   return updateMovedSmartPointers(C, ThisRegion, OtherSmartPtrRegion, Call);  in handleAssignOp()
770                                      const MemRegion *ThisRegion) const {  in handleMoveCtr()
775   return updateMovedSmartPointers(C, ThisRegion, OtherSmartPtrRegion, Call);  in handleMoveCtr()
779     CheckerContext &C, const MemRegion *ThisRegion,  in updateMovedSmartPointers()  argument
785     State = State->set<TrackedRegionMap>(ThisRegion, *OtherInnerPtr);  in updateMovedSmartPointers()
793         C.getNoteTag([ThisRegion, OtherSmartPtrRegion, IsArgValNull](  in updateMovedSmartPointers()
801             checkAndPrettyPrintRegion(OS, ThisRegion);  in updateMovedSmartPointers()
803           if (BR.isInteresting(ThisRegion) && IsArgValNull) {  in updateMovedSmartPointers()
805             checkAndPrettyPrintRegion(OS, ThisRegion);  in updateMovedSmartPointers()
815     State = State->remove<TrackedRegionMap>(ThisRegion);  in updateMovedSmartPointers()
818                                          ThisRegion](PathSensitiveBugReport &BR,  in updateMovedSmartPointers()
826       checkAndPrettyPrintRegion(OS, ThisRegion);  in updateMovedSmartPointers()
838   const MemRegion *ThisRegion =  in handleBoolConversion()  local
844   if (const auto *InnerValPtr = State->get<TrackedRegionMap>(ThisRegion)) {  in handleBoolConversion()
856     State = State->set<TrackedRegionMap>(ThisRegion, InnerPointerVal);  in handleBoolConversion()
871   } else if (move::isMovedFrom(State, ThisRegion)) {  in handleBoolConversion()
883     NullState = NullState->set<TrackedRegionMap>(ThisRegion, NullVal);  in handleBoolConversion()
888                                    [ThisRegion](PathSensitiveBugReport &BR,  in handleBoolConversion()
891                                      checkAndPrettyPrintRegion(OS, ThisRegion);  in handleBoolConversion()
901             [ThisRegion](PathSensitiveBugReport &BR, llvm::raw_ostream &OS) {  in handleBoolConversion()
903               checkAndPrettyPrintRegion(OS, ThisRegion);  in handleBoolConversion()