Home
last modified time | relevance | path

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

12

/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DStore.cpp291 return loc::MemRegionVal(SR); in evalDerivedToBase()
299 return loc::MemRegionVal(BaseReg); in evalDerivedToBase()
336 return loc::MemRegionVal(MR); in attemptDownCast()
347 return evalDerivedToBase(loc::MemRegionVal(MR), Paths.front()); in attemptDownCast()
358 return loc::MemRegionVal(MR); in attemptDownCast()
388 return loc::MemRegionVal( in attemptDownCast()
390 return loc::MemRegionVal(GetElementZeroRegion(SR, TargetType)); in attemptDownCast()
434 return loc::MemRegionVal(MRMgr.getObjCIvarRegion(ID, BaseR)); in getLValueFieldOrIvar()
456 Base.castAs<loc::MemRegionVal>().getRegionAs<SubRegion>(); in getLValueElement()
472 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, Offset, in getLValueElement()
[all …]
H A DSVals.cpp53 if (Optional<loc::MemRegionVal> RV = getAs<loc::MemRegionVal>()) { in hasConjuredSymbol()
66 if (Optional<loc::MemRegionVal> X = getAs<loc::MemRegionVal>()) { in getAsFunctionDecl()
100 Optional<loc::MemRegionVal> X = getAs<loc::MemRegionVal>(); in getLocSymbolInBase()
132 if (Optional<loc::MemRegionVal> X = getAs<loc::MemRegionVal>()) in getAsRegion()
150 QualType VisitLocMemRegionVal(loc::MemRegionVal MRV) { in VisitLocMemRegionVal()
198 const MemRegion *loc::MemRegionVal::stripCasts(bool StripBaseCasts) const { in stripCasts()
425 os << '&' << castAs<loc::MemRegionVal>().getRegion()->getString(); in dumpToStream()
H A DSValBuilder.cpp130 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getRegionValueSymbolVal()
167 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in conjureSymbolVal()
185 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in conjureSymbolVal()
208 return loc::MemRegionVal(MemMgr.getSymbolicHeapRegion(sym)); in getConjuredHeapSymbolVal()
222 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getMetadataSymbolVal()
241 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getDerivedRegionValueSymbolVal()
264 return loc::MemRegionVal(MemMgr.getFunctionCodeRegion(func)); in getFunctionPointer()
275 return loc::MemRegionVal(BD); in getBlockPointer()
278 Optional<loc::MemRegionVal>
281 return loc::MemRegionVal(*OptR); in getCastedMemRegionVal()
[all …]
H A DProgramState.cpp135 const MemRegion *R = loc.castAs<loc::MemRegionVal>().getRegion(); in bindDefaultInitial()
144 const MemRegion *R = loc.castAs<loc::MemRegionVal>().getRegion(); in bindDefaultZero()
164 Values.push_back(loc::MemRegionVal(*I)); in invalidateRegions()
223 assert(!LV.getAs<loc::MemRegionVal>() && "Use invalidateRegion instead."); in killBinding()
572 if (Optional<loc::MemRegionVal> X = val.getAs<loc::MemRegionVal>()) in scan()
H A DExprEngineCXX.cpp175 return loc::MemRegionVal(getStoreManager().GetElementZeroRegion( in computeObjectUnderConstruction()
282 return loc::MemRegionVal(MRMgr.getCXXStaticTempObjectRegion(E)); in computeObjectUnderConstruction()
285 return loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx)); in computeObjectUnderConstruction()
321 return loc::MemRegionVal(TVR); in computeObjectUnderConstruction()
353 return loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx)); in computeObjectUnderConstruction()
536 Target = loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx)); in handleConstructor()
906 Result = loc::MemRegionVal(EleReg); in VisitCXXNewExpr()
985 SVal V = state->getSVal(loc::MemRegionVal(R)); in VisitCXXThisExpr()
996 SVal V = loc::MemRegionVal(R); in VisitLambdaExpr()
H A DConstraintManager.cpp29 return loc::MemRegionVal(R); in getLocFromSymbol()
H A DRegionStore.cpp1116 SVal V = RM.getBinding(B, loc::MemRegionVal(VR)); in VisitCluster()
1394 if (!Array.getAs<loc::MemRegionVal>()) in ArrayToPointer()
1420 if (!L.getAs<loc::MemRegionVal>()) { in getBinding()
1424 const MemRegion *MR = L.castAs<loc::MemRegionVal>().getRegion(); in getBinding()
2112 if (Optional<loc::MemRegionVal> LV = L.getAs<loc::MemRegionVal>()) in killBinding()
2128 const MemRegion *R = L.castAs<loc::MemRegionVal>().getRegion(); in bind()
2203 if (Optional<loc::MemRegionVal> MRV = Init.getAs<loc::MemRegionVal>()) { in bindArray()
2235 NewB = bind(NewB, loc::MemRegionVal(ER), *VI); in bindArray()
2282 NewB = bind(NewB, loc::MemRegionVal(ER), *VI); in bindVector()
2321 NewB = bind(NewB, loc::MemRegionVal(DestFR), V); in tryBindSmallStruct()
[all …]
H A DCallEvent.cpp295 ValuesToInvalidate.push_back(loc::MemRegionVal(TVR)); in invalidateRegions()
900 Values.push_back(loc::MemRegionVal(R)); in getExtraInvalidatedValues()
915 SVal ThisVal = loc::MemRegionVal(CapturedLambdaRegion); in getInitialStackFrameContents()
928 return loc::MemRegionVal(static_cast<const MemRegion *>(Data)); in getCXXThisVal()
965 return loc::MemRegionVal(DtorDataTy::getFromOpaqueValue(Data).getPointer()); in getCXXThisVal()
H A DExprEngine.cpp257 SVal V = state->getSVal(loc::MemRegionVal(R)); in getInitialState()
280 SVal V = state->getSVal(loc::MemRegionVal(R)); in getInitialState()
296 loc::MemRegionVal L = svalBuilder.getCXXThis(MD, SFC); in getInitialState()
392 SVal Reg = loc::MemRegionVal(TR); in createTemporaryRegionIfNeeded()
959 const MemRegion *Region = dest.castAs<loc::MemRegionVal>().getRegion(); in ProcessAutomaticObjDtor()
978 Region = makeZeroElementRegion(state, loc::MemRegionVal(Region), varType, in ProcessAutomaticObjDtor()
2703 MR ? loc::MemRegionVal(MR) : state->getSVal(BaseExpr, LCtx); in VisitMemberExpr()
2816 (State->bindLoc(loc::MemRegionVal(MR), LocAndVal.second, LCtx))) in processPointerEscapedOnBind()
2918 if (Optional<loc::MemRegionVal> LocRegVal = in evalBind()
2919 location.getAs<loc::MemRegionVal>()) { in evalBind()
H A DExprEngineObjC.cpp59 if (auto MV = elementV.getAs<loc::MemRegionVal>()) in populateObjCForDestinationSet()
H A DExprEngineCallAndReturn.cpp253 loc::MemRegionVal This = in processCallExit()
540 assert(cast<VarRegion>(VV.castAs<loc::MemRegionVal>().getRegion()) in finishArgumentConstruction()
623 Escaped.emplace_back(loc::MemRegionVal(MR), State->getSVal(MR, Pointee)); in evalCall()
/freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h82 SVal evalCastSubKind(loc::MemRegionVal V, QualType CastTy,
376 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in makeLoc()
380 return loc::MemRegionVal(region); in makeLoc()
392 Optional<loc::MemRegionVal> getCastedMemRegionVal(const MemRegion *region,
405 loc::MemRegionVal getCXXThis(const CXXMethodDecl *D,
409 loc::MemRegionVal getCXXThis(const CXXRecordDecl *D,
H A DSVals.h606 class MemRegionVal : public Loc {
608 explicit MemRegionVal(const MemRegion* r) : Loc(MemRegionValKind, r) { in MemRegionVal() function
625 bool operator==(const MemRegionVal &R) const {
629 bool operator!=(const MemRegionVal &R) const {
636 MemRegionVal() = default;
H A DSVals.def61 LOC_SVAL(MemRegionVal, Loc)
H A DProgramState.h718 return loc::MemRegionVal( in getLValue()
726 return loc::MemRegionVal( in getLValue()
790 loc::MemRegionVal(R), in getSVal()
H A DStore.h140 return loc::MemRegionVal(MRMgr.getCompoundLiteralRegion(CL, LC)); in getLValueCompoundLiteral()
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DNonnullGlobalConstantsChecker.cpp94 Optional<loc::MemRegionVal> RegionVal = V.getAs<loc::MemRegionVal>(); in isGlobalConstString()
H A DObjCSelfInitChecker.cpp414 if (!location.getAs<loc::MemRegionVal>()) in isSelfVar()
417 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.cpp98 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R))); in evalCall()
H A DDebugIteratorModeling.cpp113 return loc::MemRegionVal(P->getContainer()); in analyzerIteratorContainer()
H A DUndefResultChecker.cpp48 const MemRegion *MR = Loc.castAs<loc::MemRegionVal>().getRegion(); in isArrayIndexOutOfBounds()
H A DMacOSKeychainAPIChecker.cpp213 if (Optional<loc::MemRegionVal> X = ArgV.getAs<loc::MemRegionVal>()) { in getAsPointeeSymbol()
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedObjectChecker.cpp301 State->getLValue(I, loc::MemRegionVal(R)).castAs<loc::MemRegionVal>(); in isNonUnionUninit()
358 .castAs<loc::MemRegionVal>() in isNonUnionUninit()

12