Lines Matching refs:MemRegion
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,
82 const MemRegion *ThisRegion, const Expr *E,
99 REGISTER_MAP_WITH_PROGRAMSTATE(TrackedRegionMap, const MemRegion *, SVal) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
148 bool isNullSmartPtr(const ProgramStateRef State, const MemRegion *ThisRegion) { in isNullSmartPtr()
161 const MemRegion *Region) { in removeTrackedSubregions()
172 const MemRegion *Region, in updateSwappedRegion()
225 const MemRegion *Region) { in checkAndPrettyPrintRegion()
310 const MemRegion *ThisRegion = ThisRegionOpt->getAsRegion(); in evalCall()
345 const MemRegion *ThisR = in evalCall()
378 const MemRegion *ThisRegion = CC->getCXXThisVal().getAsRegion(); in evalCall()
438 ProgramStateRef State, const MemRegion *ThisRegion, const Expr *E, in retrieveOrConjureInnerPtrVal()
474 const MemRegion *Reg = S.getAsRegion(); in handleComparisionOp()
527 const MemRegion *StreamThisRegion = StreamVal.getAsRegion(); in handleOstreamOperator()
545 const MemRegion *Region = E.first; in checkDeadSymbols()
573 ArrayRef<const MemRegion *> ExplicitRegions, in checkRegionChanges()
574 ArrayRef<const MemRegion *> Regions, const LocationContext *LCtx, in checkRegionChanges()
604 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in handleReset()
634 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in handleRelease()
676 const MemRegion *FirstThisRegion = First.getAsRegion(); in handleSwap()
679 const MemRegion *SecondThisRegion = Second.getAsRegion(); in handleSwap()
718 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in handleGet()
740 const MemRegion *ThisRegion = OC->getCXXThisVal().getAsRegion(); in handleAssignOp()
746 const MemRegion *OtherSmartPtrRegion = OC->getArgSVal(0).getAsRegion(); in handleAssignOp()
770 const MemRegion *ThisRegion) const { in handleMoveCtr()
779 CheckerContext &C, const MemRegion *ThisRegion, in updateMovedSmartPointers()
780 const MemRegion *OtherSmartPtrRegion, const CallEvent &Call) const { in updateMovedSmartPointers()
838 const MemRegion *ThisRegion = in handleBoolConversion()