Searched refs:ThisRegion (Results 1 – 6 of 6) sorted by relevance
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| H A 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 …]
|
| H A 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()
|
| H A D | MoveChecker.cpp | 626 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in checkPreCall() local
627 if (!ThisRegion) in checkPreCall()
637 ThisRegion = ThisRegion->getMostDerivedObjectRegion(); in checkPreCall()
640 State = removeFromState(State, ThisRegion); in checkPreCall()
657 State = removeFromState(State, ThisRegion); in checkPreCall()
672 modelUse(State, ThisRegion, RD, MK_Dereference, C); in checkPreCall()
677 modelUse(State, ThisRegion, RD, MK_FunCall, C); in checkPreCall()
707 const MemRegion *ThisRegion = nullptr; in checkRegionChanges() local
709 ThisRegion = IC->getCXXThisVal().getAsRegion(); in checkRegionChanges()
715 if (ThisRegion != Region) { in checkRegionChanges()
|
| H A D | SmartPtr.h | 27 bool isNullSmartPtr(const ProgramStateRef State, const MemRegion *ThisRegion);
|
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| H A D | CallEvent.cpp | 699 const MemRegion *ThisRegion = ThisVal.getAsRegion(); in getExtraInvalidatedValues() local
700 if (!ThisRegion) in getExtraInvalidatedValues()
703 ETraits->setTrait(ThisRegion->getBaseRegion(), in getExtraInvalidatedValues()
|
| /netbsd-src/external/apache2/llvm/dist/clang/include/clang/AST/ |
| H A D | OpenMPClause.h | 128 OpenMPDirectiveKind ThisRegion = llvm::omp::OMPD_unknown) {
130 CaptureRegion = ThisRegion;
|