Home
last modified time | relevance | path

Searched refs:getAsRegion (Results 1 – 25 of 69) sorted by relevance

123

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DPointerArithChecker.cpp110 return S.getAsRegion(); in getPointedRegion()
156 const MemRegion *Region = C.getSVal(E).getAsRegion(); in reportPointerArithMisuse()
223 const MemRegion *Region = SV.getAsRegion(); in checkPostStmt()
244 const MemRegion *Region = AllocedVal.getAsRegion(); in checkPostStmt()
260 const MemRegion *Region = CastedVal.getAsRegion(); in checkPostStmt()
278 const MemRegion *Region = CastedVal.getAsRegion(); in checkPreStmt()
H A DMismatchedIteratorChecker.cpp82 const auto *ContReg = InstCall->getCXXThisVal().getAsRegion(); in checkPreCall()
88 InstCall->getCXXThisVal().getAsRegion()); in checkPreCall()
91 InstCall->getCXXThisVal().getAsRegion()); in checkPreCall()
95 InstCall->getCXXThisVal().getAsRegion()); in checkPreCall()
103 InstCall->getCXXThisVal().getAsRegion()); in checkPreCall()
H A DSmartPtrModeling.cpp312 const MemRegion *ThisRegion = ThisRegionOpt->getAsRegion(); in evalCall()
348 cast<CXXInstanceCall>(&Call)->getCXXThisVal().getAsRegion(); in evalCall()
476 const MemRegion *Reg = S.getAsRegion(); in handleComparisionOp()
529 const MemRegion *StreamThisRegion = StreamVal.getAsRegion(); in handleOstreamOperator()
605 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in handleReset()
635 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in handleRelease()
677 const MemRegion *FirstThisRegion = First.getAsRegion(); in handleSwap()
680 const MemRegion *SecondThisRegion = Second.getAsRegion(); in handleSwap()
719 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in handleGet()
741 const MemRegion *ThisRegion = OC->getCXXThisVal().getAsRegion(); in handleAssignOp()
[all …]
H A DErrnoChecker.cpp156 BR->markInteresting(ErrnoLoc->getAsRegion()); in checkLocation()
177 ErrnoLoc->getAsRegion(), nullptr); in checkLocation()
213 ErrnoLoc->getAsRegion(), &Call); in checkPreCall()
226 const MemRegion *ErrnoRegion = ErrnoLoc->getAsRegion(); in checkRegionChanges()
H A DPointerSubChecker.cpp45 const MemRegion *LR = LV.getAsRegion(); in checkPreStmt()
46 const MemRegion *RR = RV.getAsRegion(); in checkPreStmt()
H A DMoveChecker.cpp460 const auto ArgRegion = AFC->getArgSVal(0).getAsRegion(); in checkPostCall()
466 if (CC && CC->getCXXThisVal().getAsRegion() == ArgRegion) in checkPostCall()
470 if (IC->getCXXThisVal().getAsRegion() == ArgRegion) in checkPostCall()
608 State = removeFromState(State, CC->getCXXThisVal().getAsRegion()); in checkPreCall()
612 const MemRegion *ArgRegion = CC->getArgSVal(0).getAsRegion(); in checkPreCall()
624 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in checkPreCall()
663 const MemRegion *ArgRegion = IC->getArgSVal(0).getAsRegion(); in checkPreCall()
711 ThisRegion = IC->getCXXThisVal().getAsRegion(); in checkRegionChanges()
H A DContainerModeling.cpp247 const auto *ContReg = Cont.getAsRegion(); in handleBegin()
269 const auto *ContReg = Cont.getAsRegion(); in handleEnd()
291 const auto *ContReg = Cont.getAsRegion(); in handleAssignment()
367 const auto *ContReg = Cont.getAsRegion(); in handleAssign()
381 const auto *ContReg = Cont.getAsRegion(); in handleClear()
410 const auto *ContReg = Cont.getAsRegion(); in handlePushBack()
450 const auto *ContReg = Cont.getAsRegion(); in handlePopBack()
490 const auto *ContReg = Cont.getAsRegion(); in handlePushFront()
525 const auto *ContReg = Cont.getAsRegion(); in handlePopFront()
561 const auto *ContReg = Cont.getAsRegion(); in handleInsert()
[all …]
H A DDynamicTypePropagation.cpp175 if (const MemRegion *ReceiverRegion = ReceiverSVal.getAsRegion()) { in inferReceiverType()
277 if (const MemRegion *Target = Ctor->getCXXThisVal().getAsRegion()) in checkPreCall()
290 const MemRegion *Target = Dtor->getCXXThisVal().getAsRegion(); in checkPreCall()
309 const MemRegion *RetReg = Call.getReturnValue().getAsRegion(); in checkPostCall()
348 const MemRegion *RecReg = Msg->getReceiverSVal().getAsRegion(); in checkPostCall()
373 if (const MemRegion *Target = Ctor->getCXXThisVal().getAsRegion()) { in checkPostCall()
402 const MemRegion *ToR = C.getSVal(CE).getAsRegion(); in dynamicTypePropagationOnCasts()
422 const MemRegion *MR = C.getSVal(NewE).getAsRegion(); in checkPostStmt()
436 const MemRegion *ToR = C.getSVal(CastE).getAsRegion(); in getBetterObjCType()
992 const MemRegion *RetRegion = M.getReturnValue().getAsRegion(); in checkPostObjCMessage()
H A DTaggedUnionModeling.h62 const auto *ThisRegion = ThisSVal.getAsRegion(); in handleConstructorAndAssignment()
63 const auto *ArgMemRegion = ArgSVal.getAsRegion(); in handleConstructorAndAssignment()
H A DVirtualCallChecker.cpp114 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 DStackAddrEscapeChecker.cpp143 const MemRegion *Region = Val.getAsRegion(); in getCapturedStackRegions()
245 Call.getArgSVal(Idx).getAsRegion())) in checkPreCall()
261 const MemRegion *R = V.getAsRegion(); in checkPreStmt()
338 const MemRegion *VR = Val.getAsRegion(); in checkEndFunction()
H A DInnerPointerChecker.cpp178 dyn_cast_or_null<TypedValueRegion>(Arg.getAsRegion()); in checkFunctionArguments()
215 ICall->getCXXThisVal().getAsRegion()); in checkPostCall()
231 dyn_cast_or_null<TypedValueRegion>(Call.getArgSVal(0).getAsRegion()); in checkPostCall()
H A DCXXDeleteChecker.cpp92 const MemRegion *MR = C.getSVal(DeletedObj).getAsRegion(); in checkPreStmt()
203 const MemRegion *M = N->getSVal(CastE).getAsRegion(); in VisitNode()
H A DTaint.cpp75 const MemRegion *R = V.getAsRegion(); in addTaint()
103 const MemRegion *R = V.getAsRegion(); in removeTaint()
207 if (const MemRegion *Reg = V.getAsRegion()) in getTaintedSymbolsImpl()
H A DStdVariantChecker.cpp205 const auto *const ThisMemRegion = ThisSVal.getAsRegion(); in handleDefaultConstructor()
233 const MemRegion *ArgMemRegion = Call.getArgSVal(0).getAsRegion(); in handleStdGetCall()
H A DArrayBoundChecker.cpp39 const MemRegion *R = l.getAsRegion(); in checkLocation()
H A DLocalizationChecker.cpp669 const MemRegion *mt = S.getAsRegion(); in hasLocalizedState()
682 const MemRegion *mt = S.getAsRegion(); in hasNonLocalizedState()
694 const MemRegion *mt = S.getAsRegion(); in setLocalizedState()
705 const MemRegion *mt = S.getAsRegion(); in setNonLocalizedState()
769 const MemRegion *StringRegion = S.getAsRegion(); in reportLocalizationError()
861 dyn_cast_or_null<ObjCStringRegion>(svTitle.getAsRegion())) { in checkPreObjCMessage()
955 dyn_cast_or_null<SymbolicRegion>(sv.getAsRegion()); in checkPostCall()
1011 if (LiteralSVal.getAsRegion() != NonLocalizedString) in VisitNode()
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/
H A DInvalidPtrChecker.cpp209 dyn_cast_or_null<SymbolicRegion>(RetVal.getAsRegion()); in postPreviousReturnInvalidatingCall()
257 const MemRegion *Region = Call.getReturnValue().getAsRegion(); in checkPostCall()
285 Call.getArgSVal(I).getAsRegion())) { in checkPostCall()
334 findInvalidatedSymbolicBase(State, Loc.getAsRegion()); in checkLocation()
H A DPutenvWithAutoChecker.cpp47 const MemSpaceRegion *MSR = ArgV.getAsRegion()->getMemorySpace(); in checkPostCall()
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp31 PreCallEvent.getArgSVal(PreCallEvent.getNumArgs() - 1).getAsRegion(); in checkDoubleNonblocking()
138 return CE.getArgSVal(0).getAsRegion(); in topRegionUsedByWait()
140 return CE.getArgSVal(1).getAsRegion(); in topRegionUsedByWait()
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedPointee.cpp227 assert(V.getAsRegion() && "V must have an underlying region!"); in dereference()
236 const auto *R = V.getAsRegion()->getAs<TypedValueRegion>(); in dereference()
245 while (const MemRegion *Tmp = State->getSVal(R, DynT).getAsRegion()) { in dereference()
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DDynamicExtent.cpp88 const MemRegion *MRegion = BufV.getAsRegion(); in getDynamicExtentWithOffset()
109 const MemRegion *MR = BufV.getAsRegion(); in getDynamicElementCountWithOffset()
H A DCallEvent.cpp256 if (const MemRegion *MR = getArgSVal(Idx).getAsRegion()) in invalidateRegions()
726 const MemRegion *ThisRegion = ThisVal.getAsRegion(); in getExtraInvalidatedValues()
762 const MemRegion *R = getCXXThisVal().getAsRegion(); in getRuntimeDefinition()
878 const MemRegion *DataReg = getSVal(Callee).getAsRegion(); in getBlockRegion()
988 if (const MemRegion *IvarRegion = IvarLVal.getAsRegion()) { in getExtraInvalidatedValues()
1290 Receiver = getReceiverSVal().getAsRegion(); in getRuntimeDefinition()
1317 if (Receiver == SelfVal.getAsRegion()) { in getRuntimeDefinition()
1445 return getCXXConstructorCall(CE, ThisVal.getAsRegion(), State, CallerCtx, in getCaller()
1448 return getCXXInheritedConstructorCall(CIE, ThisVal.getAsRegion(), State, in getCaller()
1477 return getCXXDestructorCall(Dtor, Trigger, ThisVal.getAsRegion(), in getCaller()
H A DSVals.cpp70 if (const MemRegion *R = getAsRegion()) in getAsLocSymbol()
120 const MemRegion *SVal::getAsRegion() const { in getAsRegion() function in SVal
125 return X->getLoc().getAsRegion(); in getAsRegion()
H A DStore.cpp233 const MemRegion *MR = V.getAsRegion(); in regionMatchesCXXRecordType()
277 const MemRegion *DerivedReg = Derived.getAsRegion(); in evalDerivedToBase()
318 const MemRegion *MR = Base.getAsRegion(); in evalBaseToDerived()

123