Lines Matching refs:MemRegion

58                      ArrayRef<const MemRegion *> ExplicitRegions,
59 ArrayRef<const MemRegion *> Regions,
72 const MemRegion *ThisRegion) const;
73 bool updateMovedSmartPointers(CheckerContext &C, const MemRegion *ThisRegion,
74 const MemRegion *OtherSmartPtrRegion,
83 const MemRegion *ThisRegion, const Expr *E,
100 REGISTER_MAP_WITH_PROGRAMSTATE(TrackedRegionMap, const MemRegion *, SVal) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
149 bool isNullSmartPtr(const ProgramStateRef State, const MemRegion *ThisRegion) { in isNullSmartPtr()
162 const MemRegion *Region) { in removeTrackedSubregions()
173 const MemRegion *Region, in updateSwappedRegion()
226 const MemRegion *Region) { in checkAndPrettyPrintRegion()
312 const MemRegion *ThisRegion = ThisRegionOpt->getAsRegion(); in evalCall()
347 const MemRegion *ThisR = in evalCall()
380 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()
605 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in handleReset()
635 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()
747 const MemRegion *OtherSmartPtrRegion = OC->getArgSVal(0).getAsRegion(); in handleAssignOp()
771 const MemRegion *ThisRegion) const { in handleMoveCtr()
780 CheckerContext &C, const MemRegion *ThisRegion, in updateMovedSmartPointers()
781 const MemRegion *OtherSmartPtrRegion, const CallEvent &Call) const { in updateMovedSmartPointers()
839 const MemRegion *ThisRegion = in handleBoolConversion()