Searched defs:ThisRegion (Results 1 – 5 of 5) sorted by relevance
149 bool isNullSmartPtr(const ProgramStateRef State, const MemRegion *ThisRegion) { in isNullSmartPtr()312 const MemRegion *ThisRegion = ThisRegionOpt->getAsRegion(); in evalCall() local380 const MemRegion *ThisRegion = CC->getCXXThisVal().getAsRegion(); in evalCall() local440 ProgramStateRef State, const MemRegion *ThisRegion, const Expr *E, 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
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