Searched refs:ThisRegion (Results 1 – 7 of 7) sorted by relevance
| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | SmartPtrModeling.cpp | 67 const MemRegion *ThisRegion) const;
68 bool updateMovedSmartPointers(CheckerContext &C, const MemRegion *ThisRegion,
104 bool isNullSmartPtr(const ProgramStateRef State, const MemRegion *ThisRegion) { in isNullSmartPtr() argument
105 const auto *InnerPointVal = State->get<TrackedRegionMap>(ThisRegion); in isNullSmartPtr()
218 const MemRegion *ThisRegion = CC->getCXXThisVal().getAsRegion(); in evalCall() local
219 if (!ThisRegion) in evalCall()
223 return handleMoveCtr(Call, C, ThisRegion); in evalCall()
227 State = State->set<TrackedRegionMap>(ThisRegion, NullVal); in evalCall()
230 State, C.getNoteTag([ThisRegion](PathSensitiveBugReport &BR, in evalCall()
233 !BR.isInteresting(ThisRegion)) in evalCall()
[all …]
|
| D | SmartPtrChecker.cpp | 68 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()
|
| D | MoveChecker.cpp | 631 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in checkPreCall() local
632 if (!ThisRegion) in checkPreCall()
642 ThisRegion = ThisRegion->getMostDerivedObjectRegion(); in checkPreCall()
645 State = removeFromState(State, ThisRegion); in checkPreCall()
662 State = removeFromState(State, ThisRegion); in checkPreCall()
677 modelUse(State, ThisRegion, RD, MK_Dereference, C); in checkPreCall()
682 modelUse(State, ThisRegion, RD, MK_FunCall, C); in checkPreCall()
712 const MemRegion *ThisRegion = nullptr; in checkRegionChanges() local
714 ThisRegion = IC->getCXXThisVal().getAsRegion(); in checkRegionChanges()
720 if (ThisRegion != Region) { in checkRegionChanges()
|
| D | SmartPtr.h | 27 bool isNullSmartPtr(const ProgramStateRef State, const MemRegion *ThisRegion);
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | CallEvent.cpp | 450 const MemRegion *ThisRegion = ThisVal.getAsRegion(); in getExtraInvalidatedValues() local
451 if (!ThisRegion) in getExtraInvalidatedValues()
454 ETraits->setTrait(ThisRegion->getBaseRegion(), in getExtraInvalidatedValues()
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | CallEvent.cpp | 699 const MemRegion *ThisRegion = ThisVal.getAsRegion(); in getExtraInvalidatedValues() local
700 if (!ThisRegion) in getExtraInvalidatedValues()
703 ETraits->setTrait(ThisRegion->getBaseRegion(), in getExtraInvalidatedValues()
|
| /external/llvm-project/clang/include/clang/AST/ |
| D | OpenMPClause.h | 128 OpenMPDirectiveKind ThisRegion = llvm::omp::OMPD_unknown) {
130 CaptureRegion = ThisRegion;
|