Searched defs:ThisRegion (Results 1 – 4 of 4) sorted by relevance
104 bool isNullSmartPtr(const ProgramStateRef State, const MemRegion *ThisRegion) { in isNullSmartPtr()218 const MemRegion *ThisRegion = CC->getCXXThisVal().getAsRegion(); in evalCall() local340 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in handleReset() local370 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in handleRelease() local405 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in handleSwap() local444 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in handleGet() local473 const MemRegion *ThisRegion = OC->getCXXThisVal().getAsRegion(); in handleAssignOp() local510 CheckerContext &C, const MemRegion *ThisRegion, in updateMovedSmartPointers()566 const MemRegion *ThisRegion = in handleBoolConversion() local
68 const MemRegion *ThisRegion = OC->getCXXThisVal().getAsRegion(); in checkPreCall() local
626 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in checkPreCall() local707 const MemRegion *ThisRegion = nullptr; in checkRegionChanges() local
699 const MemRegion *ThisRegion = ThisVal.getAsRegion(); in getExtraInvalidatedValues() local