Searched defs:ThisRegion (Results 1 – 5 of 5) sorted by relevance
149 bool isNullSmartPtr(const ProgramStateRef State, const MemRegion *ThisRegion) { in isNullSmartPtr() argument 312 const MemRegion *ThisRegion = ThisRegionOpt->getAsRegion(); in evalCall() local 380 const MemRegion *ThisRegion = CC->getCXXThisVal().getAsRegion(); in evalCall() local 440 retrieveOrConjureInnerPtrVal(ProgramStateRef State,const MemRegion * ThisRegion,const Expr * E,QualType Type,CheckerContext & C) const retrieveOrConjureInnerPtrVal() argument 605 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); handleReset() local 635 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); handleRelease() local 719 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); handleGet() local 741 const MemRegion *ThisRegion = OC->getCXXThisVal().getAsRegion(); handleAssignOp() local 780 updateMovedSmartPointers(CheckerContext & C,const MemRegion * ThisRegion,const MemRegion * OtherSmartPtrRegion,const CallEvent & Call) const updateMovedSmartPointers() argument 839 const MemRegion *ThisRegion = handleBoolConversion() local [all...]
62 const auto *ThisRegion = ThisSVal.getAsRegion(); handleConstructorAndAssignment() local
68 const MemRegion *ThisRegion = OC->getCXXThisVal().getAsRegion(); in checkPreCall() local
624 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in checkPreCall() local709 const MemRegion *ThisRegion = nullptr; in checkRegionChanges() local
726 const MemRegion *ThisRegion = ThisVal.getAsRegion(); in getExtraInvalidatedValues() local