Home
last modified time | relevance | path

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

123

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DSmartPtrModeling.cpp312 const MemRegion *ThisRegion = ThisRegionOpt->getAsRegion(); in evalCall()
348 cast<CXXInstanceCall>(&Call)->getCXXThisVal().getAsRegion(); in evalCall()
380 const MemRegion *ThisRegion = CC->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()
[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 DContainerModeling.cpp252 const auto *ContReg = Cont.getAsRegion(); in handleBegin()
274 const auto *ContReg = Cont.getAsRegion(); in handleEnd()
296 const auto *ContReg = Cont.getAsRegion(); in handleAssignment()
313 const auto *OldContReg = OldCont.getAsRegion(); in handleAssignment()
372 const auto *ContReg = Cont.getAsRegion(); in handleAssign()
386 const auto *ContReg = Cont.getAsRegion(); in handleClear()
415 const auto *ContReg = Cont.getAsRegion(); in handlePushBack()
455 const auto *ContReg = Cont.getAsRegion(); in handlePopBack()
495 const auto *ContReg = Cont.getAsRegion(); in handlePushFront()
530 const auto *ContReg = Cont.getAsRegion(); in handlePopFront()
[all …]
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 DTaggedUnionModeling.h61 const auto *ThisRegion = ThisSVal.getAsRegion(); in handleConstructorAndAssignment()
62 const auto *ArgMemRegion = ArgSVal.getAsRegion(); in handleConstructorAndAssignment()
H A DBlockInCriticalSectionChecker.cpp80 return Call.getArgSVal(0).getAsRegion(); in getRegion()
90 return cast<CXXMemberCall>(Call).getCXXThisVal().getAsRegion(); in getRegion()
134 LockRegion = Object->getAsRegion(); in getRegion()
137 LockRegion = cast<CXXDestructorCall>(Call).getCXXThisVal().getAsRegion(); in getRegion()
H A DInnerPointerChecker.cpp170 dyn_cast_or_null<TypedValueRegion>(Arg.getAsRegion()); in checkFunctionArguments()
207 ICall->getCXXThisVal().getAsRegion()); in checkPostCall()
223 dyn_cast_or_null<TypedValueRegion>(Call.getArgSVal(0).getAsRegion()); in checkPostCall()
H A DPointerSubChecker.cpp115 const MemRegion *LR = LV.getAsRegion(); in checkPreStmt()
116 const MemRegion *RR = RV.getAsRegion(); in checkPreStmt()
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.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.cpp207 const auto *const ThisMemRegion = ThisSVal.getAsRegion(); in handleDefaultConstructor()
235 const MemRegion *ArgMemRegion = Call.getArgSVal(0).getAsRegion(); in handleStdGetCall()
H A DPutenvStackArrayChecker.cpp49 dyn_cast<StackSpaceRegion>(ArgV.getAsRegion()->getMemorySpace()); in checkPostCall()
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()
H A DPthreadLockChecker.cpp433 const MemRegion *lockR = MtxVal.getAsRegion(); in AcquireLockAux()
511 const MemRegion *lockR = MtxVal.getAsRegion(); in ReleaseLockAux()
572 const MemRegion *LockR = MtxVal.getAsRegion(); in DestroyLockAux()
629 const MemRegion *LockR = MtxVal.getAsRegion(); in InitLockAux()
H A DCastValueChecker.cpp227 const MemRegion *MR = DV.getAsRegion(); in addCastTransition()
283 const MemRegion *MR = DV.getAsRegion(); in addInstanceOfTransition()
285 MR = State->getSVal(DV.castAs<Loc>()).getAsRegion(); in addInstanceOfTransition()
H A DSmartPtrChecker.cpp68 const MemRegion *ThisRegion = OC->getCXXThisVal().getAsRegion(); in checkPreCall()
/freebsd/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/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/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/Core/
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()
1448 return getCXXConstructorCall(CE, ThisVal.getAsRegion(), State, CallerCtx, in getCaller()
1451 return getCXXInheritedConstructorCall(CIE, ThisVal.getAsRegion(), State, in getCaller()
1480 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()
H A DBugReporterVisitors.cpp199 return N->getState()->getLValue(FD, StructSVal).getAsRegion(); in getLocationRegionIfReference()
209 return N->getState()->getLValue(VD, N->getLocationContext()).getAsRegion(); in getLocationRegionIfReference()
335 N->getSVal(BO->getLHS()).getAsRegion())) in wasRegionOfInterestModifiedAt()
679 const MemRegion *VR = V.getAsRegion(); in findRegionOfInterestInRecord()
710 const MemRegion *SelfRegion = Call.getReceiverSVal().getAsRegion(); in maybeEmitNoteForObjCSelf()
724 const MemRegion *ThisR = Call.getCXXThisVal().getAsRegion(); in maybeEmitNoteForCXXThis()
751 while (const MemRegion *MR = V.getAsRegion()) { in maybeEmitNoteForParameters()
972 State->getLValue(VD, LCtx).getAsRegion())) in matchAssignment()
975 const MemRegion *R = N->getSVal(BO->getLHS()).getAsRegion(); in matchAssignment()
1116 if (const MemRegion *MR = LValue->getAsRegion()) { in visitNodeInitial()
[all …]
H A DExprEngine.cpp471 *OutRegionWithAdjustments = cast<SubRegion>(Reg.getAsRegion()); in createTemporaryRegionIfNeeded()
1062 if (const MemRegion *MR = I.second.getAsRegion()) in removeDead()
1222 PostInitializer PP(BMI, FieldLoc.getAsRegion(), stackFrame); in ProcessInitializer()
1241 PostInitializer PP(BMI, FieldLoc.getAsRegion(), stackFrame); in ProcessInitializer()
1351 const MemRegion *ValueRegion = state->getSVal(Region).getAsRegion(); in ProcessAutomaticObjDtor()
1391 .getAsRegion(); in ProcessAutomaticObjDtor()
1439 const MemRegion *ArgR = ArgVal.getAsRegion(); in ProcessDeleteDtor()
1467 .getAsRegion(); in ProcessDeleteDtor()
1501 VisitCXXDestructor(BaseTy, BaseVal.getAsRegion(), CurDtor->getBody(), in ProcessBaseDtor()
1523 State, FieldVal.getAsRegion(), T, LCtx, &ElementCount); in ProcessMemberDtor()
[all …]
H A DExprEngineCXX.cpp150 const auto *ThisReg = cast<SubRegion>(ThisVal.getAsRegion()); in computeObjectUnderConstruction()
181 dyn_cast_or_null<SubRegion>(V.getAsRegion())) { in computeObjectUnderConstruction()
495 if (const auto *EL = dyn_cast_or_null<ElementRegion>(V.getAsRegion())) in updateObjectsUnderConstruction()
733 const MemRegion *TargetRegion = Target.getAsRegion(); in handleConstructor()
1061 if (const auto *NewReg = cast_or_null<SubRegion>(symVal.getAsRegion())) { in VisitCXXNewExpr()
1220 InitVal = State->getSVal(OUC->getAsRegion()); in VisitLambdaExpr()

123