Home
last modified time | relevance | path

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

123

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DMismatchedIteratorChecker.cpp82 const auto *ContReg = InstCall->getCXXThisVal().getAsRegion(); in checkPreCall()
88 InstCall->getCXXThisVal().getAsRegion()); in checkPreCall()
91 InstCall->getCXXThisVal().getAsRegion()); in checkPreCall()
100 InstCall->getCXXThisVal().getAsRegion()); in checkPreCall()
109 InstCall->getCXXThisVal().getAsRegion()); in checkPreCall()
H A DSmartPtrModeling.cpp309 const MemRegion *ThisRegion = ThisRegionOpt->getAsRegion(); in evalCall()
345 cast<CXXInstanceCall>(&Call)->getCXXThisVal().getAsRegion(); in evalCall()
377 const MemRegion *ThisRegion = CC->getCXXThisVal().getAsRegion(); in evalCall()
474 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()
[all …]
H A DErrnoChecker.cpp155 BR->markInteresting(ErrnoLoc->getAsRegion()); in checkLocation()
176 ErrnoLoc->getAsRegion(), nullptr); in checkLocation()
212 ErrnoLoc->getAsRegion(), &Call); in checkPreCall()
225 const MemRegion *ErrnoRegion = ErrnoLoc->getAsRegion(); in checkRegionChanges()
H A DPutenvStackArrayChecker.cpp47 if (!ArgV.getAsRegion()) in checkPostCall()
51 ArgV.getAsRegion()->getMemorySpaceAs<StackSpaceRegion>(C.getState()); in checkPostCall()
H A DContainerModeling.cpp255 const auto *ContReg = Cont.getAsRegion(); in handleBegin()
277 const auto *ContReg = Cont.getAsRegion(); in handleEnd()
300 const auto *ContReg = Cont.getAsRegion(); in handleAssignment()
317 const auto *OldContReg = OldCont.getAsRegion(); in handleAssignment()
376 const auto *ContReg = Cont.getAsRegion(); in handleAssign()
390 const auto *ContReg = Cont.getAsRegion(); in handleClear()
419 const auto *ContReg = Cont.getAsRegion(); in handlePushBack()
459 const auto *ContReg = Cont.getAsRegion(); in handlePopBack()
499 const auto *ContReg = Cont.getAsRegion(); in handlePushFront()
534 const auto *ContReg = Cont.getAsRegion(); in handlePopFront()
[all …]
H A DMoveChecker.cpp463 const auto ArgRegion = AFC->getArgSVal(0).getAsRegion(); in checkPostCall()
469 if (CC && CC->getCXXThisVal().getAsRegion() == ArgRegion) in checkPostCall()
473 if (IC->getCXXThisVal().getAsRegion() == ArgRegion) in checkPostCall()
612 State = removeFromState(State, CC->getCXXThisVal().getAsRegion()); in checkPreCall()
616 const MemRegion *ArgRegion = CC->getArgSVal(0).getAsRegion(); in checkPreCall()
628 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in checkPreCall()
667 const MemRegion *ArgRegion = IC->getArgSVal(0).getAsRegion(); in checkPreCall()
715 ThisRegion = IC->getCXXThisVal().getAsRegion(); in checkRegionChanges()
H A DDynamicTypePropagation.cpp171 if (const MemRegion *ReceiverRegion = ReceiverSVal.getAsRegion()) { in inferReceiverType()
273 if (const MemRegion *Target = Ctor->getCXXThisVal().getAsRegion()) in checkPreCall()
286 const MemRegion *Target = Dtor->getCXXThisVal().getAsRegion(); in checkPreCall()
305 const MemRegion *RetReg = Call.getReturnValue().getAsRegion(); in checkPostCall()
344 const MemRegion *RecReg = Msg->getReceiverSVal().getAsRegion(); in checkPostCall()
369 if (const MemRegion *Target = Ctor->getCXXThisVal().getAsRegion()) { in checkPostCall()
398 const MemRegion *ToR = C.getSVal(CE).getAsRegion(); in dynamicTypePropagationOnCasts()
418 const MemRegion *MR = C.getSVal(NewE).getAsRegion(); in checkPostStmt()
432 const MemRegion *ToR = C.getSVal(CastE).getAsRegion(); in getBetterObjCType()
994 const MemRegion *RetRegion = M.getReturnValue().getAsRegion(); in checkPostObjCMessage()
H A DTaggedUnionModeling.h61 const auto *ThisRegion = ThisSVal.getAsRegion(); in handleConstructorAndAssignment()
62 const auto *ArgMemRegion = ArgSVal.getAsRegion(); in handleConstructorAndAssignment()
H A DVirtualCallChecker.cpp121 const MemRegion *Reg = MC->getCXXThisVal().getAsRegion(); in checkPreCall()
187 const MemRegion *Reg = ThiSVal.getAsRegion(); in registerCtorDtorCallInState()
201 const MemRegion *Reg = ThiSVal.getAsRegion(); in registerCtorDtorCallInState()
H A DPointerSubChecker.cpp49 const MemRegion *LR = LV.getAsRegion(); in checkPreStmt()
50 const MemRegion *RR = RV.getAsRegion(); in checkPreStmt()
H A DStackAddrEscapeChecker.cpp144 if (const MemRegion *Region = Val.getAsRegion()) { in getCapturedStackRegions()
156 if (const MemRegion *ReturnedRegion = ReturnedVal.getAsRegion()) { in EmitReturnedAsPartOfError()
243 Call.getArgSVal(Idx).getAsRegion())) in checkPreCall()
294 const MemRegion *Region = Val.getAsRegion(); in VisitBlockDataRegionCaptures()
316 const MemRegion *RetRegion = RetVal.getAsRegion(); in FilterReturnExpressionLeaks()
549 const MemRegion *VR = Val.getAsRegion(); in checkEndFunction()
H A DBlockInCriticalSectionChecker.cpp81 return Call.getArgSVal(0).getAsRegion(); in getRegion()
91 return cast<CXXMemberCall>(Call).getCXXThisVal().getAsRegion(); in getRegion()
135 LockRegion = Object->getAsRegion(); in getRegion()
138 LockRegion = cast<CXXDestructorCall>(Call).getCXXThisVal().getAsRegion(); in getRegion()
H A DInnerPointerChecker.cpp168 dyn_cast_or_null<TypedValueRegion>(Arg.getAsRegion()); in checkFunctionArguments()
205 ICall->getCXXThisVal().getAsRegion()); in checkPostCall()
221 dyn_cast_or_null<TypedValueRegion>(Call.getArgSVal(0).getAsRegion()); in checkPostCall()
H A DCXXDeleteChecker.cpp88 const MemRegion *MR = C.getSVal(DeletedObj).getAsRegion(); in checkPreStmt()
199 const MemRegion *M = N->getSVal(CastE).getAsRegion(); in VisitNode()
H A DTaint.cpp76 const MemRegion *R = V.getAsRegion(); in addTaint()
104 const MemRegion *R = V.getAsRegion(); in removeTaint()
208 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 DLocalizationChecker.cpp667 const MemRegion *mt = S.getAsRegion(); in hasLocalizedState()
680 const MemRegion *mt = S.getAsRegion(); in hasNonLocalizedState()
692 const MemRegion *mt = S.getAsRegion(); in setLocalizedState()
703 const MemRegion *mt = S.getAsRegion(); in setNonLocalizedState()
765 const MemRegion *StringRegion = S.getAsRegion(); in reportLocalizationError()
857 dyn_cast_or_null<ObjCStringRegion>(svTitle.getAsRegion())) { in checkPreObjCMessage()
951 dyn_cast_or_null<SymbolicRegion>(sv.getAsRegion()); in checkPostCall()
1006 if (LiteralSVal.getAsRegion() != NonLocalizedString) in VisitNode()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/
H A DInvalidPtrChecker.cpp214 dyn_cast_or_null<SymbolicRegion>(RetVal.getAsRegion()); in postPreviousReturnInvalidatingCall()
262 const MemRegion *Region = Call.getReturnValue().getAsRegion(); in checkPostCall()
290 Call.getArgSVal(I).getAsRegion())) { in checkPostCall()
339 findInvalidatedSymbolicBase(State, Loc.getAsRegion()); in checkLocation()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp31 PreCallEvent.getArgSVal(PreCallEvent.getNumArgs() - 1).getAsRegion(); in checkDoubleNonblocking()
136 return CE.getArgSVal(0).getAsRegion(); in topRegionUsedByWait()
138 return CE.getArgSVal(1).getAsRegion(); in topRegionUsedByWait()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedPointee.cpp223 assert(V.getAsRegion() && "V must have an underlying region!"); in dereference()
232 const auto *R = V.getAsRegion()->getAs<TypedValueRegion>(); in dereference()
241 while (const MemRegion *Tmp = State->getSVal(R, DynT).getAsRegion()) { in dereference()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCallEvent.cpp255 if (const MemRegion *MR = getArgSVal(Idx).getAsRegion()) in invalidateRegions()
736 const MemRegion *ThisRegion = ThisVal.getAsRegion(); in getExtraInvalidatedValues()
762 const MemRegion *R = getCXXThisVal().getAsRegion(); in getDeclForDynamicType()
823 getCXXThisVal().getAsRegion()->StripCasts()); in getRuntimeDefinition()
890 const MemRegion *DataReg = getSVal(Callee).getAsRegion(); in getBlockRegion()
947 if (const MemRegion *Obj = V.getAsRegion(); Obj && IsStdClassCtor) { in getExtraInvalidatedValues()
1008 if (const MemRegion *IvarRegion = IvarLVal.getAsRegion()) { in getExtraInvalidatedValues()
1310 Receiver = getReceiverSVal().getAsRegion(); in getRuntimeDefinition()
1337 if (Receiver == SelfVal.getAsRegion()) { in getRuntimeDefinition()
1468 return getCXXConstructorCall(CE, ThisVal.getAsRegion(), State, CallerCtx, in getCaller()
[all …]
H A DDynamicExtent.cpp87 const MemRegion *MRegion = BufV.getAsRegion(); in getDynamicExtentWithOffset()
108 const MemRegion *MR = BufV.getAsRegion(); in getDynamicElementCountWithOffset()
H A DSVals.cpp69 if (const MemRegion *R = getAsRegion()) in getAsLocSymbol()
119 const MemRegion *SVal::getAsRegion() const { in getAsRegion() function in SVal
124 return X->getLoc().getAsRegion(); in getAsRegion()
H A DStore.cpp235 const MemRegion *MR = V.getAsRegion(); in regionMatchesCXXRecordType()
279 const MemRegion *DerivedReg = Derived.getAsRegion(); in evalDerivedToBase()
320 const MemRegion *MR = Base.getAsRegion(); in evalBaseToDerived()
H A DExprEngine.cpp472 *OutRegionWithAdjustments = cast<SubRegion>(Reg.getAsRegion()); in createTemporaryRegionIfNeeded()
1063 if (const MemRegion *MR = I.second.getAsRegion()) in removeDead()
1223 PostInitializer PP(BMI, FieldLoc.getAsRegion(), stackFrame); in ProcessInitializer()
1242 PostInitializer PP(BMI, FieldLoc.getAsRegion(), stackFrame); in ProcessInitializer()
1352 const MemRegion *ValueRegion = state->getSVal(Region).getAsRegion(); in ProcessAutomaticObjDtor()
1392 .getAsRegion(); in ProcessAutomaticObjDtor()
1440 const MemRegion *ArgR = ArgVal.getAsRegion(); in ProcessDeleteDtor()
1468 .getAsRegion(); in ProcessDeleteDtor()
1502 VisitCXXDestructor(BaseTy, BaseVal.getAsRegion(), CurDtor->getBody(), in ProcessBaseDtor()
1524 State, FieldVal.getAsRegion(), T, LCtx, &ElementCount); in ProcessMemberDtor()
[all …]

123