Home
last modified time | relevance | path

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

12

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DStore.cpp292 return loc::MemRegionVal(SR); in evalDerivedToBase()
300 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()
434 return loc::MemRegionVal(MRMgr.getObjCIvarRegion(ID, BaseR)); in getLValueFieldOrIvar()
469 Base.castAs<loc::MemRegionVal>().getRegionAs<SubRegion>(); in getLValueElement()
485 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, Offset, in getLValueElement()
[all …]
H A DSVals.cpp47 if (Optional<loc::MemRegionVal> X = getAs<loc::MemRegionVal>()) { in getAsFunctionDecl()
81 Optional<loc::MemRegionVal> X = getAs<loc::MemRegionVal>(); in getLocSymbolInBase()
121 if (Optional<loc::MemRegionVal> X = getAs<loc::MemRegionVal>()) in getAsRegion()
139 QualType VisitLocMemRegionVal(loc::MemRegionVal MRV) { in VisitLocMemRegionVal()
189 const MemRegion *loc::MemRegionVal::stripCasts(bool StripBaseCasts) const { in stripCasts()
372 os << '&' << castAs<loc::MemRegionVal>().getRegion()->getString(); in dumpToStream()
H A DSValBuilder.cpp153 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getRegionValueSymbolVal()
190 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in conjureSymbolVal()
208 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in conjureSymbolVal()
245 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getMetadataSymbolVal()
264 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getDerivedRegionValueSymbolVal()
297 return loc::MemRegionVal(BD); in getBlockPointer()
300 Optional<loc::MemRegionVal>
303 return loc::MemRegionVal(*OptR); in getCastedMemRegionVal()
310 return loc::MemRegionVal( in getCXXThis()
711 SVal VisitLocMemRegionVal(loc::MemRegionVal V) { in VisitLocMemRegionVal()
[all …]
H A DExprEngineCXX.cpp182 return loc::MemRegionVal(R); in computeObjectUnderConstruction()
288 return loc::MemRegionVal(MRMgr.getCXXStaticTempObjectRegion(E)); in computeObjectUnderConstruction()
291 return loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx)); in computeObjectUnderConstruction()
298 SVal Base = loc::MemRegionVal( in computeObjectUnderConstruction()
344 return loc::MemRegionVal(TVR); in computeObjectUnderConstruction()
376 return loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx)); in computeObjectUnderConstruction()
476 V = loc::MemRegionVal(EL->getSuperRegion()); in updateObjectsUnderConstruction()
639 Target = loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx)); in handleConstructor()
1013 Result = loc::MemRegionVal(EleReg); in VisitCXXNewExpr()
1119 SVal V = state->getSVal(loc::MemRegionVal(R)); in VisitCXXThisExpr()
[all …]
H A DProgramState.cpp131 const MemRegion *R = loc.castAs<loc::MemRegionVal>().getRegion(); in bindDefaultInitial()
140 const MemRegion *R = loc.castAs<loc::MemRegionVal>().getRegion(); in bindDefaultZero()
160 Values.push_back(loc::MemRegionVal(*I)); in invalidateRegions()
219 assert(!isa<loc::MemRegionVal>(LV) && "Use invalidateRegion instead."); in killBinding()
583 if (Optional<loc::MemRegionVal> X = val.getAs<loc::MemRegionVal>()) in scan()
H A DRegionStore.cpp1105 SVal V = RM.getBinding(B, loc::MemRegionVal(VR)); in VisitCluster()
1383 if (!isa<loc::MemRegionVal>(Array)) in ArrayToPointer()
1409 if (!L.getAs<loc::MemRegionVal>()) { in getBinding()
2362 if (Optional<loc::MemRegionVal> LV = L.getAs<loc::MemRegionVal>()) in killBinding()
2378 const MemRegion *R = L.castAs<loc::MemRegionVal>().getRegion(); in bind()
2466 NewB = bind(NewB, loc::MemRegionVal(DstER), V); in tryBindSmallArray()
2487 if (Optional<loc::MemRegionVal> MRV = Init.getAs<loc::MemRegionVal>()) { in bindArray()
2524 NewB = bind(NewB, loc::MemRegionVal(ER), *VI); in bindArray()
2571 NewB = bind(NewB, loc::MemRegionVal(ER), *VI); in bindVector()
2610 NewB = bind(NewB, loc::MemRegionVal(DestFR), V); in tryBindSmallStruct()
[all …]
H A DConstraintManager.cpp30 return loc::MemRegionVal(R); in getLocFromSymbol()
H A DCallEvent.cpp277 ValuesToInvalidate.push_back(loc::MemRegionVal(TVR)); in invalidateRegions()
830 Values.push_back(loc::MemRegionVal(R)); in getExtraInvalidatedValues()
845 SVal ThisVal = loc::MemRegionVal(CapturedLambdaRegion); in getInitialStackFrameContents()
858 return loc::MemRegionVal(static_cast<const MemRegion *>(Data)); in getCXXThisVal()
895 return loc::MemRegionVal(DtorDataTy::getFromOpaqueValue(Data).getPointer()); in getCXXThisVal()
H A DExprEngineObjC.cpp59 if (auto MV = elementV.getAs<loc::MemRegionVal>()) in populateObjCForDestinationSet()
/llvm-project-15.0.7/clang/unittests/StaticAnalyzer/
H A DStoreTest.cpp60 Loc LX0 = loc::MemRegionVal(MRManager.getVarRegion(VDX0, SFC)); in performTest()
61 Loc LY0 = loc::MemRegionVal(MRManager.getVarRegion(VDY0, SFC)); in performTest()
62 Loc LZ0 = loc::MemRegionVal(MRManager.getVarRegion(VDZ0, SFC)); in performTest()
63 Loc LX1 = loc::MemRegionVal(MRManager.getVarRegion(VDX1, SFC)); in performTest()
64 Loc LY1 = loc::MemRegionVal(MRManager.getVarRegion(VDY1, SFC)); in performTest()
131 loc::MemRegionVal ZeroElement( in performTest()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h356 loc::MemRegionVal makeLoc(SymbolRef sym) { in makeLoc()
357 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in makeLoc()
360 loc::MemRegionVal makeLoc(const MemRegion *region) { in makeLoc()
361 return loc::MemRegionVal(region); in makeLoc()
373 Optional<loc::MemRegionVal> getCastedMemRegionVal(const MemRegion *region,
386 loc::MemRegionVal getCXXThis(const CXXMethodDecl *D,
390 loc::MemRegionVal getCXXThis(const CXXRecordDecl *D,
H A DSVals.h506 class MemRegionVal : public Loc {
508 explicit MemRegionVal(const MemRegion* r) : Loc(MemRegionValKind, r) { in MemRegionVal() function
525 bool operator==(const MemRegionVal &R) const {
529 bool operator!=(const MemRegionVal &R) const {
H A DSVals.def61 LOC_SVAL(MemRegionVal, Loc)
H A DProgramState.h756 return loc::MemRegionVal( in getLValue()
764 return loc::MemRegionVal( in getLValue()
828 loc::MemRegionVal(R), in getSVal()
H A DStore.h140 return loc::MemRegionVal(MRMgr.getCompoundLiteralRegion(CL, LC)); in getLValueCompoundLiteral()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DErrnoModeling.cpp191 loc::MemRegionVal{ErrnoR}); in evalCall()
226 State = State->bindLoc(loc::MemRegionVal{ErrnoR}, Value, LCtx); in setErrnoValue()
236 loc::MemRegionVal{ErrnoR}, in setErrnoValue()
246 return loc::MemRegionVal{ErrnoR}; in getErrnoLoc()
H A DNonnullGlobalConstantsChecker.cpp94 Optional<loc::MemRegionVal> RegionVal = V.getAs<loc::MemRegionVal>(); in isGlobalConstString()
H A DObjCSelfInitChecker.cpp416 if (!isa<loc::MemRegionVal>(location)) in isSelfVar()
419 loc::MemRegionVal MRV = location.castAs<loc::MemRegionVal>(); in isSelfVar()
H A DNSErrorChecker.cpp200 if (Optional<loc::MemRegionVal> X = val.getAs<loc::MemRegionVal>()) { in parameterTypeFromSVal()
H A DNullabilityChecker.cpp281 auto RegionSVal = Val.getAs<loc::MemRegionVal>(); in getTrackRegion()
340 auto RegionVal = LV.getAs<loc::MemRegionVal>(); in checkValueAtLValForInvariantViolation()
350 auto StoredVal = State->getSVal(*RegionVal).getAs<loc::MemRegionVal>(); in checkValueAtLValForInvariantViolation()
543 auto StoredVal = State->getSVal(Region).getAs<loc::MemRegionVal>(); in checkLocation()
841 auto ValueRegionSVal = Receiver.getAs<loc::MemRegionVal>(); in getReceiverNullability()
H A DBuiltinFunctionChecker.cpp99 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R))); in evalCall()
H A DDebugIteratorModeling.cpp114 return loc::MemRegionVal(P->getContainer()); in analyzerIteratorContainer()
H A DUndefResultChecker.cpp48 const MemRegion *MR = Loc.castAs<loc::MemRegionVal>().getRegion(); in isArrayIndexOutOfBounds()
H A DMacOSKeychainAPIChecker.cpp212 if (Optional<loc::MemRegionVal> X = ArgV.getAs<loc::MemRegionVal>()) { in getAsPointeeSymbol()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedObjectChecker.cpp299 State->getLValue(I, loc::MemRegionVal(R)).castAs<loc::MemRegionVal>(); in isNonUnionUninit()
356 .castAs<loc::MemRegionVal>() in isNonUnionUninit()

12