Searched defs:ThisRegion (Results 1 – 4 of 4) 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()606 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in handleReset() local636 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in handleRelease() local720 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in handleGet() local742 const MemRegion *ThisRegion = OC->getCXXThisVal().getAsRegion(); in handleAssignOp() local781 CheckerContext &C, const MemRegion *ThisRegion, in updateMovedSmartPointers()840 const MemRegion *ThisRegion = in handleBoolConversion() local
68 const MemRegion *ThisRegion = OC->getCXXThisVal().getAsRegion(); in checkPreCall() local
621 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in checkPreCall() local706 const MemRegion *ThisRegion = nullptr; in checkRegionChanges() local
703 const MemRegion *ThisRegion = ThisVal.getAsRegion(); in getExtraInvalidatedValues() local