Home
last modified time | relevance | path

Searched refs:ThisRegion (Results 1 – 7 of 7) sorted by relevance

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DSmartPtrModeling.cpp70 const MemRegion *ThisRegion) const;
71 bool updateMovedSmartPointers(CheckerContext &C, const MemRegion *ThisRegion,
80 ProgramStateRef State, const MemRegion *ThisRegion,
146 bool isNullSmartPtr(const ProgramStateRef State, const MemRegion *ThisRegion) { in isNullSmartPtr() argument
147 const auto *InnerPointVal = State->get<TrackedRegionMap>(ThisRegion); in isNullSmartPtr()
309 const MemRegion *ThisRegion = ThisRegionOpt->getAsRegion(); in evalCall() local
310 State = State->set<TrackedRegionMap>(ThisRegion, PtrVal); in evalCall()
377 const MemRegion *ThisRegion = CC->getCXXThisVal().getAsRegion(); in evalCall() local
378 if (!ThisRegion) in evalCall()
384 return handleMoveCtr(Call, C, ThisRegion); in evalCall()
[all …]
H A DTaggedUnionModeling.h61 const auto *ThisRegion = ThisSVal.getAsRegion(); in handleConstructorAndAssignment() local
74 State = State->remove<TypeMap>(ThisRegion); in handleConstructorAndAssignment()
82 State = State->set<TypeMap>(ThisRegion, *OtherQType); in handleConstructorAndAssignment()
90 State = State->set<TypeMap>(ThisRegion, WoPointer); in handleConstructorAndAssignment()
H A DSmartPtrChecker.cpp64 const MemRegion *ThisRegion = OC->getCXXThisVal().getAsRegion(); in checkPreCall() local
65 if (!ThisRegion) in checkPreCall()
70 if (smartptr::isNullSmartPtr(State, ThisRegion)) in checkPreCall()
71 reportBug(C, ThisRegion, Call); in checkPreCall()
H A DMoveChecker.cpp628 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in checkPreCall() local
629 if (!ThisRegion) in checkPreCall()
643 ThisRegion = ThisRegion->getMostDerivedObjectRegion(); in checkPreCall()
646 State = removeFromState(State, ThisRegion); in checkPreCall()
663 State = removeFromState(State, ThisRegion); in checkPreCall()
678 modelUse(State, ThisRegion, RD, MK_Dereference, C); in checkPreCall()
683 modelUse(State, ThisRegion, RD, MK_FunCall, C); in checkPreCall()
713 const MemRegion *ThisRegion = nullptr; in checkRegionChanges() local
715 ThisRegion = IC->getCXXThisVal().getAsRegion(); in checkRegionChanges()
721 if (ThisRegion != Region && in checkRegionChanges()
H A DSmartPtr.h29 bool isNullSmartPtr(const ProgramStateRef State, const MemRegion *ThisRegion);
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCallEvent.cpp736 const MemRegion *ThisRegion = ThisVal.getAsRegion(); in getExtraInvalidatedValues() local
737 if (!ThisRegion) in getExtraInvalidatedValues()
740 ETraits->setTrait(ThisRegion->getBaseRegion(), in getExtraInvalidatedValues()
/freebsd/contrib/llvm-project/clang/include/clang/AST/
H A DOpenMPClause.h212 OpenMPDirectiveKind ThisRegion = llvm::omp::OMPD_unknown) {
214 CaptureRegion = ThisRegion;