Home
last modified time | relevance | path

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

123

/llvm-project-15.0.7/clang/unittests/StaticAnalyzer/
H A DStoreTest.cpp77 SManager.BindDefaultInitial(StInit, LY0.getAsRegion(), Zero).getStore(); in performTest()
79 EXPECT_EQ(Zero, *SManager.getDefaultBinding(StY0, LY0.getAsRegion())); in performTest()
82 Store StZ0 = SManager.BindDefaultZero(StInit, LZ0.getAsRegion()).getStore(); in performTest()
87 EXPECT_EQ(NarrowZero, *SManager.getDefaultBinding(StZ0, LZ0.getAsRegion())); in performTest()
95 SManager.BindDefaultInitial(StInit, LY1.getAsRegion(), One).getStore(); in performTest()
97 EXPECT_EQ(One, *SManager.getDefaultBinding(StY1, LY1.getAsRegion())); in performTest()
H A DTestReturnValueUnderConstruction.cpp37 ASSERT_TRUE(RetVal->getAsRegion()); in checkPostCall()
39 const auto *RetReg = cast<TypedValueRegion>(RetVal->getAsRegion()); in checkPostCall()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DPointerArithChecker.cpp110 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 DMismatchedIteratorChecker.cpp92 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 DSmartPtrModeling.cpp310 const MemRegion *ThisRegion = ThisRegionOpt->getAsRegion(); in evalCall()
346 cast<CXXInstanceCall>(&Call)->getCXXThisVal().getAsRegion(); in evalCall()
474 const MemRegion *Reg = S.getAsRegion(); in handleComparisionOp()
527 const MemRegion *StreamThisRegion = StreamVal.getAsRegion(); in handleOstreamOperator()
604 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in handleReset()
634 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in handleRelease()
676 const MemRegion *FirstThisRegion = First.getAsRegion(); in handleSwap()
679 const MemRegion *SecondThisRegion = Second.getAsRegion(); in handleSwap()
718 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in handleGet()
740 const MemRegion *ThisRegion = OC->getCXXThisVal().getAsRegion(); in handleAssignOp()
[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 DPointerSubChecker.cpp44 const MemRegion *LR = LV.getAsRegion(); in checkPreStmt()
45 const MemRegion *RR = RV.getAsRegion(); in checkPreStmt()
H A DMoveChecker.cpp458 const auto ArgRegion = AFC->getArgSVal(0).getAsRegion(); in checkPostCall()
464 if (CC && CC->getCXXThisVal().getAsRegion() == ArgRegion) in checkPostCall()
468 if (IC->getCXXThisVal().getAsRegion() == ArgRegion) in checkPostCall()
605 State = removeFromState(State, CC->getCXXThisVal().getAsRegion()); in checkPreCall()
609 const MemRegion *ArgRegion = CC->getArgSVal(0).getAsRegion(); in checkPreCall()
625 const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion(); in checkPreCall()
660 const MemRegion *ArgRegion = IC->getArgSVal(0).getAsRegion(); in checkPreCall()
708 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.cpp173 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()
993 const MemRegion *RetRegion = M.getReturnValue().getAsRegion(); in checkPostObjCMessage()
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 DDeleteWithNonVirtualDtorChecker.cpp64 const MemRegion *MR = C.getSVal(DeletedObj).getAsRegion(); in checkPreStmt()
129 const MemRegion *M = N->getSVal(CastE).getAsRegion(); in VisitNode()
H A DTaint.cpp74 const MemRegion *R = V.getAsRegion(); in addTaint()
102 const MemRegion *R = V.getAsRegion(); in removeTaint()
155 if (const MemRegion *Reg = V.getAsRegion()) in isTainted()
H A DStackAddrEscapeChecker.cpp145 const MemRegion *Region = Val.getAsRegion(); in getCapturedStackRegions()
247 Call.getArgSVal(Idx).getAsRegion())) in checkPreCall()
263 const MemRegion *R = V.getAsRegion(); in checkPreStmt()
341 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 DArrayBoundChecker.cpp39 const MemRegion *R = l.getAsRegion(); in checkLocation()
H A DLocalizationChecker.cpp673 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 DSmartPtrChecker.cpp68 const MemRegion *ThisRegion = OC->getCXXThisVal().getAsRegion(); in checkPreCall()
/llvm-project-15.0.7/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()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedPointee.cpp226 assert(V.getAsRegion() && "V must have an underlying region!"); in dereference()
235 const auto *R = V.getAsRegion()->getAs<TypedValueRegion>(); in dereference()
244 while (const MemRegion *Tmp = State->getSVal(R, DynT).getAsRegion()) { in dereference()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/cert/
H A DInvalidPtrChecker.cpp146 const auto *SymRegOfRetVal = cast<SymbolicRegion>(RetVal.getAsRegion()); in postPreviousReturnInvalidatingCall()
205 Call.getArgSVal(I).getAsRegion())) { in checkPostCall()
254 findInvalidatedSymbolicBase(State, Loc.getAsRegion()); in checkLocation()
H A DPutenvWithAutoChecker.cpp47 const MemSpaceRegion *MSR = ArgV.getAsRegion()->getMemorySpace(); in checkPostCall()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DCallEvent.cpp257 if (const MemRegion *MR = getArgSVal(Idx).getAsRegion()) in invalidateRegions()
667 const MemRegion *ThisRegion = ThisVal.getAsRegion(); in getExtraInvalidatedValues()
699 const MemRegion *R = getCXXThisVal().getAsRegion(); in getRuntimeDefinition()
814 const MemRegion *DataReg = getSVal(Callee).getAsRegion(); in getBlockRegion()
924 if (const MemRegion *IvarRegion = IvarLVal.getAsRegion()) { in getExtraInvalidatedValues()
1226 Receiver = getReceiverSVal().getAsRegion(); in getRuntimeDefinition()
1253 if (Receiver == SelfVal.getAsRegion()) { in getRuntimeDefinition()
1378 return getCXXConstructorCall(CE, ThisVal.getAsRegion(), State, CallerCtx); in getCaller()
1380 return getCXXInheritedConstructorCall(CIE, ThisVal.getAsRegion(), State, in getCaller()
1408 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.cpp232 const MemRegion *MR = V.getAsRegion(); in regionMatchesCXXRecordType()
278 const MemRegion *DerivedReg = Derived.getAsRegion(); in evalDerivedToBase()
318 const MemRegion *MR = Base.getAsRegion(); in evalBaseToDerived()

123