72                      const MemRegion *ThisRegion) const;
73   bool updateMovedSmartPointers(CheckerContext &C, const MemRegion *ThisRegion,
83                                const MemRegion *ThisRegion, const Expr *E,
149 bool isNullSmartPtr(const ProgramStateRef State, const MemRegion *ThisRegion) {  in isNullSmartPtr()  argument
150   const auto *InnerPointVal = State->get<TrackedRegionMap>(ThisRegion);  in isNullSmartPtr()
312     const MemRegion *ThisRegion = ThisRegionOpt->getAsRegion();  in evalCall()  local
313     State = State->set<TrackedRegionMap>(ThisRegion, PtrVal);  in evalCall()
380     const MemRegion *ThisRegion = CC->getCXXThisVal().getAsRegion();  in evalCall()  local
381     if (!ThisRegion)  in evalCall()
387       return handleMoveCtr(Call, C, ThisRegion);  in evalCall()
391       State = State->set<TrackedRegionMap>(ThisRegion, NullVal);  in evalCall()
394           State, C.getNoteTag([ThisRegion](PathSensitiveBugReport &BR,  in evalCall()
397                 !BR.isInteresting(ThisRegion))  in evalCall()
400             checkAndPrettyPrintRegion(OS, ThisRegion);  in evalCall()
408       State = State->set<TrackedRegionMap>(ThisRegion, ArgVal);  in evalCall()
410       C.addTransition(State, C.getNoteTag([ThisRegion, TrackingExpr,  in evalCall()
414             !BR.isInteresting(ThisRegion))  in evalCall()
418         checkAndPrettyPrintRegion(OS, ThisRegion);  in evalCall()
440     ProgramStateRef State, const MemRegion *ThisRegion, const Expr *E,  in retrieveOrConjureInnerPtrVal()  argument
442   const auto *Ptr = State->get<TrackedRegionMap>(ThisRegion);  in retrieveOrConjureInnerPtrVal()
447   State = State->set<TrackedRegionMap>(ThisRegion, Val);  in retrieveOrConjureInnerPtrVal()
605   const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion();  in handleReset()  local
606   if (!ThisRegion)  in handleReset()
611   State = State->set<TrackedRegionMap>(ThisRegion, Call.getArgSVal(0));  in handleReset()
614       State, C.getNoteTag([ThisRegion, TrackingExpr](PathSensitiveBugReport &BR,  in handleReset()
617             !BR.isInteresting(ThisRegion))  in handleReset()
621         checkAndPrettyPrintRegion(OS, ThisRegion);  in handleReset()
635   const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion();  in handleRelease()  local
636   if (!ThisRegion)  in handleRelease()
639   const auto *InnerPointVal = State->get<TrackedRegionMap>(ThisRegion);  in handleRelease()
648   State = State->set<TrackedRegionMap>(ThisRegion, ValueToUpdate);  in handleRelease()
650   C.addTransition(State, C.getNoteTag([ThisRegion](PathSensitiveBugReport &BR,  in handleRelease()
653         !BR.isInteresting(ThisRegion))  in handleRelease()
657     checkAndPrettyPrintRegion(OS, ThisRegion);  in handleRelease()
719   const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion();  in handleGet()  local
720   if (!ThisRegion)  in handleGet()
725       State, ThisRegion, Call.getOriginExpr(), Call.getResultType(), C);  in handleGet()
741   const MemRegion *ThisRegion = OC->getCXXThisVal().getAsRegion();  in handleAssignOp()  local
742   if (!ThisRegion)  in handleAssignOp()
754     State = State->set<TrackedRegionMap>(ThisRegion, NullVal);  in handleAssignOp()
755     C.addTransition(State, C.getNoteTag([ThisRegion](PathSensitiveBugReport &BR,  in handleAssignOp()
758           !BR.isInteresting(ThisRegion))  in handleAssignOp()
761       checkAndPrettyPrintRegion(OS, ThisRegion);  in handleAssignOp()
767   return updateMovedSmartPointers(C, ThisRegion, OtherSmartPtrRegion, Call);  in handleAssignOp()
771                                      const MemRegion *ThisRegion) const {  in handleMoveCtr()
776   return updateMovedSmartPointers(C, ThisRegion, OtherSmartPtrRegion, Call);  in handleMoveCtr()
780     CheckerContext &C, const MemRegion *ThisRegion,  in updateMovedSmartPointers()  argument
786     State = State->set<TrackedRegionMap>(ThisRegion, *OtherInnerPtr);  in updateMovedSmartPointers()
794         C.getNoteTag([ThisRegion, OtherSmartPtrRegion, IsArgValNull](  in updateMovedSmartPointers()
802             checkAndPrettyPrintRegion(OS, ThisRegion);  in updateMovedSmartPointers()
804           if (BR.isInteresting(ThisRegion) && IsArgValNull) {  in updateMovedSmartPointers()
806             checkAndPrettyPrintRegion(OS, ThisRegion);  in updateMovedSmartPointers()
816     State = State->remove<TrackedRegionMap>(ThisRegion);  in updateMovedSmartPointers()
819                                          ThisRegion](PathSensitiveBugReport &BR,  in updateMovedSmartPointers()
827       checkAndPrettyPrintRegion(OS, ThisRegion);  in updateMovedSmartPointers()
839   const MemRegion *ThisRegion =  in handleBoolConversion()  local
845   if (const auto *InnerValPtr = State->get<TrackedRegionMap>(ThisRegion)) {  in handleBoolConversion()
857     State = State->set<TrackedRegionMap>(ThisRegion, InnerPointerVal);  in handleBoolConversion()
872   } else if (move::isMovedFrom(State, ThisRegion)) {  in handleBoolConversion()
884     NullState = NullState->set<TrackedRegionMap>(ThisRegion, NullVal);  in handleBoolConversion()
889                                    [ThisRegion](PathSensitiveBugReport &BR,  in handleBoolConversion()
892                                      checkAndPrettyPrintRegion(OS, ThisRegion);  in handleBoolConversion()
902             [ThisRegion](PathSensitiveBugReport &BR, llvm::raw_ostream &OS) {  in handleBoolConversion()
904               checkAndPrettyPrintRegion(OS, ThisRegion);  in handleBoolConversion()