| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | SmartPtrModeling.cpp | 186 cast<CXXInstanceCall>(&Call)->getCXXThisVal().getAsRegion(); in evalCall()
218 const MemRegion *ThisRegion = CC->getCXXThisVal().getAsRegion(); in evalCall()
340 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in handleReset()
370 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in handleRelease()
405 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in handleSwap()
409 const auto *ArgRegion = Call.getArgSVal(0).getAsRegion(); in handleSwap()
444 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in handleGet()
473 const MemRegion *ThisRegion = OC->getCXXThisVal().getAsRegion(); in handleAssignOp()
477 const MemRegion *OtherSmartPtrRegion = OC->getArgSVal(0).getAsRegion(); in handleAssignOp()
502 const auto *OtherSmartPtrRegion = Call.getArgSVal(0).getAsRegion(); in handleMoveCtr()
[all …]
|
| H A D | PointerArithChecker.cpp | 110 return S.getAsRegion(); in getPointedRegion()
156 const MemRegion *Region = C.getSVal(E).getAsRegion(); in reportPointerArithMisuse()
229 const MemRegion *Region = SV.getAsRegion(); in checkPostStmt()
250 const MemRegion *Region = AllocedVal.getAsRegion(); in checkPostStmt()
266 const MemRegion *Region = CastedVal.getAsRegion(); in checkPostStmt()
284 const MemRegion *Region = CastedVal.getAsRegion(); in checkPreStmt()
|
| H A D | MismatchedIteratorChecker.cpp | 92 const auto *ContReg = InstCall->getCXXThisVal().getAsRegion(); in checkPreCall()
98 InstCall->getCXXThisVal().getAsRegion()); in checkPreCall()
101 InstCall->getCXXThisVal().getAsRegion()); in checkPreCall()
105 InstCall->getCXXThisVal().getAsRegion()); in checkPreCall()
113 InstCall->getCXXThisVal().getAsRegion()); in checkPreCall()
|
| H A D | ContainerModeling.cpp | 261 const auto *ContReg = Cont.getAsRegion(); in handleBegin()
283 const auto *ContReg = Cont.getAsRegion(); in handleEnd()
305 const auto *ContReg = Cont.getAsRegion(); in handleAssignment()
322 const auto *OldContReg = OldCont.getAsRegion(); in handleAssignment()
381 const auto *ContReg = Cont.getAsRegion(); in handleAssign()
395 const auto *ContReg = Cont.getAsRegion(); in handleClear()
424 const auto *ContReg = Cont.getAsRegion(); in handlePushBack()
464 const auto *ContReg = Cont.getAsRegion(); in handlePopBack()
504 const auto *ContReg = Cont.getAsRegion(); in handlePushFront()
539 const auto *ContReg = Cont.getAsRegion(); in handlePopFront()
[all …]
|
| H A D | MoveChecker.cpp | 459 const auto ArgRegion = AFC->getArgSVal(0).getAsRegion(); in checkPostCall()
465 if (CC && CC->getCXXThisVal().getAsRegion() == ArgRegion) in checkPostCall()
469 if (IC->getCXXThisVal().getAsRegion() == ArgRegion) in checkPostCall()
606 State = removeFromState(State, CC->getCXXThisVal().getAsRegion()); in checkPreCall()
610 const MemRegion *ArgRegion = CC->getArgSVal(0).getAsRegion(); in checkPreCall()
626 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in checkPreCall()
661 const MemRegion *ArgRegion = IC->getArgSVal(0).getAsRegion(); in checkPreCall()
709 ThisRegion = IC->getCXXThisVal().getAsRegion(); in checkRegionChanges()
|
| H A D | DynamicTypePropagation.cpp | 176 if (const MemRegion *ReceiverRegion = ReceiverSVal.getAsRegion()) { in inferReceiverType()
280 if (const MemRegion *Target = Ctor->getCXXThisVal().getAsRegion()) in checkPreCall()
293 const MemRegion *Target = Dtor->getCXXThisVal().getAsRegion(); in checkPreCall()
312 const MemRegion *RetReg = Call.getReturnValue().getAsRegion(); in checkPostCall()
351 const MemRegion *RecReg = Msg->getReceiverSVal().getAsRegion(); in checkPostCall()
376 if (const MemRegion *Target = Ctor->getCXXThisVal().getAsRegion()) { in checkPostCall()
405 const MemRegion *ToR = C.getSVal(CE).getAsRegion(); in dynamicTypePropagationOnCasts()
425 const MemRegion *MR = C.getSVal(NewE).getAsRegion(); in checkPostStmt()
439 const MemRegion *ToR = C.getSVal(CastE).getAsRegion(); in getBetterObjCType()
996 const MemRegion *RetRegion = M.getReturnValue().getAsRegion(); in checkPostObjCMessage()
|
| H A D | PointerSubChecker.cpp | 44 const MemRegion *LR = LV.getAsRegion(); in checkPreStmt()
45 const MemRegion *RR = RV.getAsRegion(); in checkPreStmt()
|
| H A D | VirtualCallChecker.cpp | 114 const MemRegion *Reg = MC->getCXXThisVal().getAsRegion(); in checkPreCall()
179 const MemRegion *Reg = ThiSVal.getAsRegion(); in registerCtorDtorCallInState()
193 const MemRegion *Reg = ThiSVal.getAsRegion(); in registerCtorDtorCallInState()
|
| H A D | DeleteWithNonVirtualDtorChecker.cpp | 64 const MemRegion *MR = C.getSVal(DeletedObj).getAsRegion(); in checkPreStmt()
129 const MemRegion *M = N->getSVal(CastE).getAsRegion(); in VisitNode()
|
| H A D | StackAddrEscapeChecker.cpp | 145 const MemRegion *Region = Val.getAsRegion(); in getCapturedStackRegions()
247 Call.getArgSVal(Idx).getAsRegion())) in checkPreCall()
263 const MemRegion *R = V.getAsRegion(); in checkPreStmt()
318 const MemRegion *VR = Val.getAsRegion(); in checkEndFunction()
|
| H A D | Taint.cpp | 72 const MemRegion *R = V.getAsRegion(); in addTaint()
100 const MemRegion *R = V.getAsRegion(); in removeTaint()
153 if (const MemRegion *Reg = V.getAsRegion()) in isTainted()
|
| H A D | InnerPointerChecker.cpp | 181 dyn_cast_or_null<TypedValueRegion>(Arg.getAsRegion()); in checkFunctionArguments()
218 ICall->getCXXThisVal().getAsRegion()); in checkPostCall()
234 dyn_cast_or_null<TypedValueRegion>(Call.getArgSVal(0).getAsRegion()); in checkPostCall()
|
| H A D | LocalizationChecker.cpp | 673 const MemRegion *mt = S.getAsRegion(); in hasLocalizedState()
686 const MemRegion *mt = S.getAsRegion(); in hasNonLocalizedState()
698 const MemRegion *mt = S.getAsRegion(); in setLocalizedState()
709 const MemRegion *mt = S.getAsRegion(); in setNonLocalizedState()
773 const MemRegion *StringRegion = S.getAsRegion(); in reportLocalizationError()
866 dyn_cast_or_null<ObjCStringRegion>(svTitle.getAsRegion())) { in checkPreObjCMessage()
960 dyn_cast_or_null<SymbolicRegion>(sv.getAsRegion()); in checkPostCall()
1016 if (LiteralSVal.getAsRegion() != NonLocalizedString) in VisitNode()
|
| H A D | PthreadLockChecker.cpp | 402 const MemRegion *lockR = MtxVal.getAsRegion(); in AcquireLockAux()
480 const MemRegion *lockR = MtxVal.getAsRegion(); in ReleaseLockAux()
541 const MemRegion *LockR = MtxVal.getAsRegion(); in DestroyLockAux()
598 const MemRegion *LockR = MtxVal.getAsRegion(); in InitLockAux()
|
| H A D | CastValueChecker.cpp | 226 const MemRegion *MR = DV.getAsRegion(); in addCastTransition()
282 const MemRegion *MR = DV.getAsRegion(); in addInstanceOfTransition()
284 MR = State->getSVal(DV.castAs<Loc>()).getAsRegion(); in addInstanceOfTransition()
|
| H A D | ArrayBoundChecker.cpp | 39 const MemRegion *R = l.getAsRegion(); in checkLocation()
|
| H A D | ReturnPointerRangeChecker.cpp | 44 const MemRegion *R = V.getAsRegion(); in checkPreStmt()
|
| H A D | Iterator.cpp | 186 if (auto Reg = Val.getAsRegion()) { in getIteratorPosition()
199 if (auto Reg = Val.getAsRegion()) { in setIteratorPosition()
|
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIChecker.cpp | 31 PreCallEvent.getArgSVal(PreCallEvent.getNumArgs() - 1).getAsRegion(); in checkDoubleNonblocking()
138 return CE.getArgSVal(0).getAsRegion(); in topRegionUsedByWait()
140 return CE.getArgSVal(1).getAsRegion(); in topRegionUsedByWait()
|
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/ |
| H A D | UninitializedPointee.cpp | 228 assert(V.getAsRegion() && "V must have an underlying region!"); in dereference()
237 const auto *R = V.getAsRegion()->getAs<TypedValueRegion>(); in dereference()
246 while (const MemRegion *Tmp = State->getSVal(R, DynT).getAsRegion()) { in dereference()
|
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| H A D | CallEvent.cpp | 274 if (const MemRegion *MR = getArgSVal(Idx).getAsRegion()) in invalidateRegions()
699 const MemRegion *ThisRegion = ThisVal.getAsRegion(); in getExtraInvalidatedValues()
731 const MemRegion *R = getCXXThisVal().getAsRegion(); in getRuntimeDefinition()
845 const MemRegion *DataReg = getSVal(Callee).getAsRegion(); in getBlockRegion()
955 if (const MemRegion *IvarRegion = IvarLVal.getAsRegion()) { in getExtraInvalidatedValues()
1257 Receiver = getReceiverSVal().getAsRegion(); in getRuntimeDefinition()
1284 if (Receiver == SelfVal.getAsRegion()) { in getRuntimeDefinition()
1409 return getCXXConstructorCall(CE, ThisVal.getAsRegion(), State, CallerCtx); in getCaller()
1411 return getCXXInheritedConstructorCall(CIE, ThisVal.getAsRegion(), State, in getCaller()
1439 return getCXXDestructorCall(Dtor, Trigger, ThisVal.getAsRegion(), in getCaller()
|
| H A D | SVals.cpp | 87 if (const MemRegion *R = getAsRegion()) in getAsLocSymbol()
129 const MemRegion *SVal::getAsRegion() const { in getAsRegion() function in SVal
134 return X->getLoc().getAsRegion(); in getAsRegion()
|
| H A D | Store.cpp | 230 const MemRegion *MR = V.getAsRegion(); in regionMatchesCXXRecordType()
276 const MemRegion *DerivedReg = Derived.getAsRegion(); in evalDerivedToBase()
319 const MemRegion *MR = Base.getAsRegion(); in attemptDownCast()
|
| H A D | BugReporterVisitors.cpp | 165 .getAsRegion(); in getLocationRegionIfReference()
300 N->getSVal(BO->getLHS()).getAsRegion())) in wasRegionOfInterestModifiedAt()
539 const MemRegion *VR = V.getAsRegion(); in findRegionOfInterestInRecord()
585 const MemRegion *SelfRegion = MC->getReceiverSVal().getAsRegion(); in VisitNode()
595 const MemRegion *ThisR = CCall->getCXXThisVal().getAsRegion(); in VisitNode()
615 while (const MemRegion *MR = V.getAsRegion()) { in VisitNode()
884 State->getLValue(VD, LCtx).getAsRegion())) in matchAssignment()
887 const MemRegion *R = N->getSVal(BO->getLHS()).getAsRegion(); in matchAssignment()
1118 if (const MemRegion *MR = LValue->getAsRegion()) { in visitNodeInitial()
1589 dyn_cast_or_null<BlockDataRegion>(V.getAsRegion())) { in VisitNode()
[all …]
|
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/cert/ |
| H A D | PutenvWithAutoChecker.cpp | 46 const MemSpaceRegion *MSR = ArgV.getAsRegion()->getMemorySpace(); in checkPostCall()
|