Searched defs:ThisRegion (Results 1 – 5 of 5) sorted by relevance
146 bool isNullSmartPtr(const ProgramStateRef State, const MemRegion *ThisRegion) { in isNullSmartPtr()309 const MemRegion *ThisRegion = ThisRegionOpt->getAsRegion(); in evalCall() local377 const MemRegion *ThisRegion = CC->getCXXThisVal().getAsRegion(); in evalCall() local437 ProgramStateRef State, const MemRegion *ThisRegion, ConstCFGElementRef Elem, in retrieveOrConjureInnerPtrVal()605 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in handleReset() local635 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in handleRelease() local719 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in handleGet() local741 const MemRegion *ThisRegion = OC->getCXXThisVal().getAsRegion(); in handleAssignOp() local780 CheckerContext &C, const MemRegion *ThisRegion, in updateMovedSmartPointers()839 const MemRegion *ThisRegion = in handleBoolConversion() local
61 const auto *ThisRegion = ThisSVal.getAsRegion(); in handleConstructorAndAssignment() local
64 const MemRegion *ThisRegion = OC->getCXXThisVal().getAsRegion(); in checkPreCall() local
628 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in checkPreCall() local713 const MemRegion *ThisRegion = nullptr; in checkRegionChanges() local
736 const MemRegion *ThisRegion = ThisVal.getAsRegion(); in getExtraInvalidatedValues() local