Home
last modified time | relevance | path

Searched refs:MemRegionVal (Results 1 – 23 of 23) sorted by relevance

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DStore.cpp291 return loc::MemRegionVal(SR); in evalDerivedToBase()
299 return loc::MemRegionVal(BaseReg); in evalDerivedToBase()
334 return loc::MemRegionVal(MR); in evalBaseToDerived()
345 return evalDerivedToBase(loc::MemRegionVal(MR), Paths.front()); in evalBaseToDerived()
356 return loc::MemRegionVal(MR); in evalBaseToDerived()
386 return loc::MemRegionVal( in evalBaseToDerived()
388 return loc::MemRegionVal(GetElementZeroRegion(SR, TargetType)); in evalBaseToDerived()
407 BaseR = cast<SubRegion>(BaseL.castAs<loc::MemRegionVal>().getRegion()); in getLValueFieldOrIvar()
434 return loc::MemRegionVal(MRMgr.getObjCIvarRegion(ID, BaseR)); in getLValueFieldOrIvar()
436 return loc::MemRegionVal(MRMgr.getFieldRegion(cast<FieldDecl>(D), BaseR)); in getLValueFieldOrIvar()
[all …]
H A DSVals.cpp47 if (std::optional<loc::MemRegionVal> X = getAs<loc::MemRegionVal>()) { in getAsFunctionDecl()
81 std::optional<loc::MemRegionVal> X = getAs<loc::MemRegionVal>(); in getLocSymbolInBase()
121 if (std::optional<loc::MemRegionVal> X = getAs<loc::MemRegionVal>()) in getAsRegion()
139 QualType VisitMemRegionVal(loc::MemRegionVal MRV) { in VisitMemRegionVal()
186 const MemRegion *loc::MemRegionVal::stripCasts(bool StripBaseCasts) const { in stripCasts()
372 os << '&' << castAs<loc::MemRegionVal>().getRegion()->getString(); in dumpToStream()
H A DExprEngineCXX.cpp192 return loc::MemRegionVal(R); in computeObjectUnderConstruction()
300 return loc::MemRegionVal( in computeObjectUnderConstruction()
303 return loc::MemRegionVal( in computeObjectUnderConstruction()
309 return loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx)); in computeObjectUnderConstruction()
316 SVal Base = loc::MemRegionVal( in computeObjectUnderConstruction()
362 return loc::MemRegionVal(TVR); in computeObjectUnderConstruction()
396 return loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx)); in computeObjectUnderConstruction()
496 V = loc::MemRegionVal(EL->getSuperRegion()); in updateObjectsUnderConstruction()
697 Target = loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx)); in handleConstructor()
1073 Result = loc::MemRegionVal(EleReg); in VisitCXXNewExpr()
[all …]
H A DProgramState.cpp132 const MemRegion *R = loc.castAs<loc::MemRegionVal>().getRegion(); in bindDefaultInitial()
141 const MemRegion *R = loc.castAs<loc::MemRegionVal>().getRegion(); in bindDefaultZero()
160 Values.push_back(loc::MemRegionVal(Reg)); in invalidateRegions()
240 return loc::MemRegionVal{SM.GetElementZeroRegion(BaseReg, ElemTy)}; in wrapSymbolicRegion()
611 if (std::optional<loc::MemRegionVal> X = val.getAs<loc::MemRegionVal>()) in scan()
H A DRegionStore.cpp1104 SVal V = RM.getBinding(B, loc::MemRegionVal(VR)); in VisitCluster()
1370 if (!isa<loc::MemRegionVal>(Array)) in ArrayToPointer()
1374 cast<SubRegion>(Array.castAs<loc::MemRegionVal>().getRegion()); in ArrayToPointer()
1376 return loc::MemRegionVal(MRMgr.getElementRegion(T, ZeroIdx, R, Ctx)); in ArrayToPointer()
1396 if (!L.getAs<loc::MemRegionVal>()) { in getBinding()
1400 const MemRegion *MR = L.castAs<loc::MemRegionVal>().getRegion(); in getBinding()
2349 if (std::optional<loc::MemRegionVal> LV = L.getAs<loc::MemRegionVal>()) in killBinding()
2362 auto MemRegVal = L.getAs<loc::MemRegionVal>(); in bind()
2453 NewB = bind(NewB, loc::MemRegionVal(DstER), V); in tryBindSmallArray()
2474 if (std::optional<loc::MemRegionVal> MRV = Init.getAs<loc::MemRegionVal>()) { in bindArray()
[all …]
H A DCallEvent.cpp276 ValuesToInvalidate.push_back(loc::MemRegionVal(TVR)); in invalidateRegions()
894 Values.push_back(loc::MemRegionVal(R)); in getExtraInvalidatedValues()
909 SVal ThisVal = loc::MemRegionVal(CapturedLambdaRegion); in getInitialStackFrameContents()
922 return loc::MemRegionVal(static_cast<const MemRegion *>(Data)); in getCXXThisVal()
959 return loc::MemRegionVal(DtorDataTy::getFromOpaqueValue(Data).getPointer()); in getCXXThisVal()
H A DExprEngine.cpp269 SVal V = state->getSVal(loc::MemRegionVal(R)); in getInitialState()
292 SVal V = state->getSVal(loc::MemRegionVal(R)); in getInitialState()
308 loc::MemRegionVal L = svalBuilder.getCXXThis(MD, SFC); in getInitialState()
408 SVal Reg = loc::MemRegionVal(TR); in createTemporaryRegionIfNeeded()
1348 const MemRegion *Region = dest.castAs<loc::MemRegionVal>().getRegion(); in ProcessAutomaticObjDtor()
1389 Region = makeElementRegion(state, loc::MemRegionVal(Region), varType, in ProcessAutomaticObjDtor()
3396 MR ? loc::MemRegionVal(MR) : state->getSVal(BaseExpr, LCtx); in VisitMemberExpr()
3403 loc::MemRegionVal(getStoreManager().GetElementZeroRegion(SR, T)); in VisitMemberExpr()
3518 (State->bindLoc(loc::MemRegionVal(MR), LocAndVal.second, LCtx))) in processPointerEscapedOnBind()
3620 if (std::optional<loc::MemRegionVal> LocRegVal = in evalBind()
[all …]
H A DExprEngineCallAndReturn.cpp318 loc::MemRegionVal This = in processCallExit()
643 assert(cast<VarRegion>(VV.castAs<loc::MemRegionVal>().getRegion()) in finishArgumentConstruction()
726 Escaped.emplace_back(loc::MemRegionVal(MR), State->getSVal(MR, Pointee)); in evalCall()
H A DExprEngineC.cpp237 originalV = State->getSVal(loc::MemRegionVal(originalR)); in VisitBlockExpr()
239 State = State->bindLoc(loc::MemRegionVal(capturedR), originalV, LCtx); in VisitBlockExpr()
H A DBugReporterVisitors.cpp2372 SVal V = LVState->getRawSVal(loc::MemRegionVal(R)); in handle()
2521 if (auto L = V.getAs<loc::MemRegionVal>()) { in handle()
2555 loc::MemRegionVal(RegionRVal), in handle()
H A DBugReporter.cpp322 if (std::optional<loc::MemRegionVal> Reg = SV.getAs<loc::MemRegionVal>()) { in getMessage()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h235 loc::MemRegionVal getAllocaRegionVal(const Expr *E,
377 loc::MemRegionVal makeLoc(SymbolRef sym) { in makeLoc()
378 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in makeLoc()
381 loc::MemRegionVal makeLoc(const MemRegion *region) { in makeLoc()
382 return loc::MemRegionVal(region); in makeLoc()
394 std::optional<loc::MemRegionVal>
407 loc::MemRegionVal getCXXThis(const CXXMethodDecl *D,
411 loc::MemRegionVal getCXXThis(const CXXRecordDecl *D,
H A DSVals.h433 class MemRegionVal : public Loc {
435 explicit MemRegionVal(const MemRegion *r) : Loc(MemRegionValKind, r) { in MemRegionVal() function
452 bool operator==(const MemRegionVal &R) const {
456 bool operator!=(const MemRegionVal &R) const {
H A DProgramState.h760 return loc::MemRegionVal( in getLValue()
768 return loc::MemRegionVal( in getLValue()
818 loc::MemRegionVal(R), in getSVal()
H A DStore.h141 return loc::MemRegionVal(MRMgr.getCompoundLiteralRegion(CL, LC)); in getLValueCompoundLiteral()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DErrnoModeling.cpp154 loc::MemRegionVal{ErrnoR}); in evalCall()
189 State = State->bindLoc(loc::MemRegionVal{ErrnoR}, Value, LCtx); in setErrnoValue()
199 loc::MemRegionVal{ErrnoR}, in setErrnoValue()
209 return loc::MemRegionVal{ErrnoR}; in getErrnoLoc()
H A DNonnullGlobalConstantsChecker.cpp96 std::optional<loc::MemRegionVal> RegionVal = V.getAs<loc::MemRegionVal>(); in isGlobalConstString()
H A DNullabilityChecker.cpp322 auto RegionSVal = Val.getAs<loc::MemRegionVal>(); in getTrackRegion()
384 auto RegionVal = LV.getAs<loc::MemRegionVal>(); in checkValueAtLValForInvariantViolation()
394 auto StoredVal = State->getSVal(*RegionVal).getAs<loc::MemRegionVal>(); in checkValueAtLValForInvariantViolation()
627 auto StoredVal = State->getSVal(Region).getAs<loc::MemRegionVal>(); in checkLocation()
933 auto ValueRegionSVal = Receiver.getAs<loc::MemRegionVal>(); in getReceiverNullability()
H A DDebugIteratorModeling.cpp107 return loc::MemRegionVal(P->getContainer()); in analyzerIteratorContainer()
H A DCheckObjCDealloc.cpp502 const MemRegion *SelfRegion = SelfVal.castAs<loc::MemRegionVal>().getRegion(); in diagnoseMissingReleases()
627 if (DeallocedInstance.castAs<loc::MemRegionVal>().getRegion() != in findPropertyOnDeallocatingInstance()
H A DCStringChecker.cpp465 State->getLValue(ElemTy, Zero, loc::MemRegionVal(SuperR)).getAs<Loc>(); in checkInit()
521 State->getLValue(ElemTy, LastIdx, loc::MemRegionVal(SuperR)); in checkInit()
1280 if (std::optional<loc::MemRegionVal> MR = L->getAs<loc::MemRegionVal>()) { in invalidateBufferAux()
2182 if (std::optional<loc::MemRegionVal> dstRegVal = in evalStrcpyCommon()
2183 DstVal.getAs<loc::MemRegionVal>()) { in evalStrcpyCommon()
H A DBasicObjCFoundationChecks.cpp476 std::optional<loc::MemRegionVal> LV = TheValueExpr.getAs<loc::MemRegionVal>(); in checkPreStmt()
H A DStreamChecker.cpp841 EscapingVals.push_back(loc::MemRegionVal(Element)); in escapeByStartIndexAndCount()