Lines Matching defs:MemRegion
30 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
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)
149 bool isNullSmartPtr(const ProgramStateRef State, const MemRegion *ThisRegion) {
162 const MemRegion *Region) {
173 const MemRegion *Region,
226 const MemRegion *Region) {
312 const MemRegion *ThisRegion = ThisRegionOpt->getAsRegion();
347 const MemRegion *ThisR =
380 const MemRegion *ThisRegion = CC->getCXXThisVal().getAsRegion();
440 ProgramStateRef State, const MemRegion *ThisRegion, const Expr *E,
476 const MemRegion *Reg = S.getAsRegion();
478 "this pointer of std::unique_ptr should be obtainable as MemRegion");
529 const MemRegion *StreamThisRegion = StreamVal.getAsRegion();
547 const MemRegion *Region = E.first;
575 ArrayRef<const MemRegion *> ExplicitRegions,
576 ArrayRef<const MemRegion *> Regions, const LocationContext *LCtx,
605 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion();
635 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion();
677 const MemRegion *FirstThisRegion = First.getAsRegion();
680 const MemRegion *SecondThisRegion = Second.getAsRegion();
719 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion();
741 const MemRegion *ThisRegion = OC->getCXXThisVal().getAsRegion();
747 const MemRegion *OtherSmartPtrRegion = OC->getArgSVal(0).getAsRegion();
771 const MemRegion *ThisRegion) const {
780 CheckerContext &C, const MemRegion *ThisRegion,
781 const MemRegion *OtherSmartPtrRegion, const CallEvent &Call) const {
839 const MemRegion *ThisRegion =