57                      ArrayRef<const MemRegion *> ExplicitRegions,
58                      ArrayRef<const MemRegion *> Regions,
71                      const MemRegion *ThisRegion) const;
72   bool updateMovedSmartPointers(CheckerContext &C, const MemRegion *ThisRegion,
73                                 const MemRegion *OtherSmartPtrRegion) const;
81                                const MemRegion *ThisRegion, const Expr *E,
98 REGISTER_MAP_WITH_PROGRAMSTATE(TrackedRegionMap, const MemRegion *, SVal)  in REGISTER_MAP_WITH_PROGRAMSTATE()  argument
151 bool isNullSmartPtr(const ProgramStateRef State, const MemRegion *ThisRegion) {  in isNullSmartPtr()
164                         const MemRegion *Region) {  in removeTrackedSubregions()
175                                            const MemRegion *Region,  in updateSwappedRegion()
228                                       const MemRegion *Region) {  in checkAndPrettyPrintRegion()
314     const MemRegion *ThisRegion = ThisRegionOpt->getAsRegion();  in evalCall()
349     const MemRegion *ThisR =  in evalCall()
382     const MemRegion *ThisRegion = CC->getCXXThisVal().getAsRegion();  in evalCall()
440     ProgramStateRef State, const MemRegion *ThisRegion, const Expr *E,  in retrieveOrConjureInnerPtrVal()
476     const MemRegion *Reg = S.getAsRegion();  in handleComparisionOp()
529   const MemRegion *StreamThisRegion = StreamVal.getAsRegion();  in handleOstreamOperator()
547     const MemRegion *Region = E.first;  in checkDeadSymbols()
575     ArrayRef<const MemRegion *> ExplicitRegions,  in checkRegionChanges()
576     ArrayRef<const MemRegion *> Regions, const LocationContext *LCtx,  in checkRegionChanges()
606   const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion();  in handleReset()
636   const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion();  in handleRelease()
677   const MemRegion *FirstThisRegion = First.getAsRegion();  in handleSwap()
680   const MemRegion *SecondThisRegion = Second.getAsRegion();  in handleSwap()
719   const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion();  in handleGet()
741   const MemRegion *ThisRegion = OC->getCXXThisVal().getAsRegion();  in handleAssignOp()
745   const MemRegion *OtherSmartPtrRegion = OC->getArgSVal(0).getAsRegion();  in handleAssignOp()
769                                      const MemRegion *ThisRegion) const {  in handleMoveCtr()
778     CheckerContext &C, const MemRegion *ThisRegion,  in updateMovedSmartPointers()
779     const MemRegion *OtherSmartPtrRegion) const {  in updateMovedSmartPointers()
834   const MemRegion *ThisRegion =  in handleBoolConversion()