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.cpp72 const MemRegion *ThisRegion) const;
73 bool updateMovedSmartPointers(CheckerContext &C, const MemRegion *ThisRegion,
83 const MemRegion *ThisRegion, const Expr *E,
149 bool isNullSmartPtr(const ProgramStateRef State, const MemRegion *ThisRegion) { in isNullSmartPtr() argument
150 const auto *InnerPointVal = State->get<TrackedRegionMap>(ThisRegion); in isNullSmartPtr()
312 const MemRegion *ThisRegion = ThisRegionOpt->getAsRegion(); in evalCall() local
313 State = State->set<TrackedRegionMap>(ThisRegion, PtrVal); in evalCall()
380 const MemRegion *ThisRegion = CC->getCXXThisVal().getAsRegion(); in evalCall() local
381 if (!ThisRegion) in evalCall()
387 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.cpp68 const MemRegion *ThisRegion = OC->getCXXThisVal().getAsRegion(); in checkPreCall() local
69 if (!ThisRegion) in checkPreCall()
74 if (smartptr::isNullSmartPtr(State, ThisRegion)) in checkPreCall()
75 reportBug(C, ThisRegion, Call); in checkPreCall()
H A DMoveChecker.cpp624 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in checkPreCall() local
625 if (!ThisRegion) in checkPreCall()
639 ThisRegion = ThisRegion->getMostDerivedObjectRegion(); in checkPreCall()
642 State = removeFromState(State, ThisRegion); in checkPreCall()
659 State = removeFromState(State, ThisRegion); in checkPreCall()
674 modelUse(State, ThisRegion, RD, MK_Dereference, C); in checkPreCall()
679 modelUse(State, ThisRegion, RD, MK_FunCall, C); in checkPreCall()
709 const MemRegion *ThisRegion = nullptr; in checkRegionChanges() local
711 ThisRegion = IC->getCXXThisVal().getAsRegion(); in checkRegionChanges()
717 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.cpp726 const MemRegion *ThisRegion = ThisVal.getAsRegion(); in getExtraInvalidatedValues() local
727 if (!ThisRegion) in getExtraInvalidatedValues()
730 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;