Home
last modified time | relevance | path

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

12

/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DSVals.cpp51 if (Optional<loc::MemRegionVal> RV = getAs<loc::MemRegionVal>()) { in hasConjuredSymbol()
64 if (Optional<loc::MemRegionVal> X = getAs<loc::MemRegionVal>()) { in getAsFunctionDecl()
90 if (Optional<loc::MemRegionVal> X = getAs<loc::MemRegionVal>()) { in getAsLocSymbol()
102 Optional<loc::MemRegionVal> X = getAs<loc::MemRegionVal>(); in getLocSymbolInBase()
152 if (Optional<loc::MemRegionVal> X = getAs<loc::MemRegionVal>()) in getAsRegion()
161 const MemRegion *loc::MemRegionVal::stripCasts(bool StripBaseCasts) const { in stripCasts()
379 os << '&' << castAs<loc::MemRegionVal>().getRegion()->getString(); in dumpToStream()
H A DStore.cpp290 return loc::MemRegionVal(SR); in evalDerivedToBase()
298 return loc::MemRegionVal(BaseReg); in evalDerivedToBase()
335 return loc::MemRegionVal(MR); in attemptDownCast()
346 return evalDerivedToBase(loc::MemRegionVal(MR), Paths.front()); in attemptDownCast()
357 return loc::MemRegionVal(MR); in attemptDownCast()
387 return loc::MemRegionVal( in attemptDownCast()
389 return loc::MemRegionVal(GetElementZeroRegion(SR, TargetType)); in attemptDownCast()
428 return loc::MemRegionVal(castRegion(SR, castTy)); in CastRetrievedVal()
469 return loc::MemRegionVal(MRMgr.getObjCIvarRegion(ID, BaseR)); in getLValueFieldOrIvar()
491 Base.castAs<loc::MemRegionVal>().getRegionAs<SubRegion>(); in getLValueElement()
[all …]
H A DSValBuilder.cpp131 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getRegionValueSymbolVal()
168 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in conjureSymbolVal()
186 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in conjureSymbolVal()
202 return loc::MemRegionVal(MemMgr.getSymbolicHeapRegion(sym)); in getConjuredHeapSymbolVal()
216 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getMetadataSymbolVal()
235 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getDerivedRegionValueSymbolVal()
268 return loc::MemRegionVal(BD); in getBlockPointer()
274 return loc::MemRegionVal( in getCXXThis()
571 return R ? SVal(loc::MemRegionVal(R)) : UnknownVal(); in evalCast()
611 return evalCastFromLoc(loc::MemRegionVal(R), castTy); in evalCast()
[all …]
H A DExprEngineCXX.cpp175 State, loc::MemRegionVal(getStoreManager().GetElementZeroRegion( in prepareForObjectConstruction()
294 V = loc::MemRegionVal(MRMgr.getCXXStaticTempObjectRegion(E)); in prepareForObjectConstruction()
298 V = loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx)); in prepareForObjectConstruction()
344 return loc::MemRegionVal(VR); in prepareForObjectConstruction()
386 State, loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx))); in prepareForObjectConstruction()
459 Target = loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(CE, LCtx)); in VisitCXXConstructExpr()
780 Result = loc::MemRegionVal(EleReg); in VisitCXXNewExpr()
854 SVal V = state->getSVal(loc::MemRegionVal(R)); in VisitCXXThisExpr()
865 SVal V = loc::MemRegionVal(R); in VisitLambdaExpr()
H A DProgramState.cpp138 const MemRegion *R = loc.castAs<loc::MemRegionVal>().getRegion(); in bindDefaultInitial()
147 const MemRegion *R = loc.castAs<loc::MemRegionVal>().getRegion(); in bindDefaultZero()
167 Values.push_back(loc::MemRegionVal(*I)); in invalidateRegions()
226 assert(!LV.getAs<loc::MemRegionVal>() && "Use invalidateRegion instead."); in killBinding()
581 if (Optional<loc::MemRegionVal> X = val.getAs<loc::MemRegionVal>()) in scan()
H A DRegionStore.cpp1079 SVal V = RM.getBinding(B, loc::MemRegionVal(VR)); in VisitCluster()
1388 if (!Array.getAs<loc::MemRegionVal>()) in ArrayToPointer()
1414 if (!L.getAs<loc::MemRegionVal>()) { in getBinding()
1418 const MemRegion *MR = L.castAs<loc::MemRegionVal>().getRegion(); in getBinding()
2095 if (Optional<loc::MemRegionVal> LV = L.getAs<loc::MemRegionVal>()) in killBinding()
2111 const MemRegion *R = L.castAs<loc::MemRegionVal>().getRegion(); in bind()
2186 if (Optional<loc::MemRegionVal> MRV = Init.getAs<loc::MemRegionVal>()) { in bindArray()
2218 NewB = bind(NewB, loc::MemRegionVal(ER), *VI); in bindArray()
2266 NewB = bind(NewB, loc::MemRegionVal(ER), *VI); in bindVector()
2305 NewB = bind(NewB, loc::MemRegionVal(DestFR), V); in tryBindSmallStruct()
[all …]
H A DConstraintManager.cpp30 return loc::MemRegionVal(R); in getLocFromSymbol()
H A DCallEvent.cpp327 ValuesToInvalidate.push_back(loc::MemRegionVal(VR)); in invalidateRegions()
848 Values.push_back(loc::MemRegionVal(R)); in getExtraInvalidatedValues()
863 SVal ThisVal = loc::MemRegionVal(CapturedLambdaRegion); in getInitialStackFrameContents()
876 return loc::MemRegionVal(static_cast<const MemRegion *>(Data)); in getCXXThisVal()
883 loc::MemRegionVal MV(static_cast<const MemRegion *>(Data)); in getExtraInvalidatedValues()
907 return loc::MemRegionVal(DtorDataTy::getFromOpaqueValue(Data).getPointer()); in getCXXThisVal()
H A DExprEngine.cpp244 SVal V = state->getSVal(loc::MemRegionVal(R)); in getInitialState()
267 SVal V = state->getSVal(loc::MemRegionVal(R)); in getInitialState()
283 loc::MemRegionVal L = svalBuilder.getCXXThis(MD, SFC); in getInitialState()
379 SVal Reg = loc::MemRegionVal(TR); in createTemporaryRegionIfNeeded()
908 const MemRegion *Region = dest.castAs<loc::MemRegionVal>().getRegion(); in ProcessAutomaticObjDtor()
927 Region = makeZeroElementRegion(state, loc::MemRegionVal(Region), varType, in ProcessAutomaticObjDtor()
1013 VisitCXXDestructor(T, FieldVal.castAs<loc::MemRegionVal>().getRegion(), in ProcessMemberDtor()
2547 MR ? loc::MemRegionVal(MR) : state->getSVal(BaseExpr, LCtx); in VisitMemberExpr()
2636 if (Optional<loc::MemRegionVal> regionLoc = Loc.getAs<loc::MemRegionVal>()) { in processPointerEscapedOnBind()
2747 if (Optional<loc::MemRegionVal> LocRegVal = in evalBind()
[all …]
H A DSimpleSValBuilder.cpp152 const MemRegion *R = val.castAs<loc::MemRegionVal>().getRegion(); in evalCastFromLoc()
903 assert(rhs.getAs<loc::MemRegionVal>() || rhs.getAs<loc::GotoLabel>()); in evalBinOpLL()
1196 return loc::MemRegionVal(MemMgr.getElementRegion(elementType, *indexV, in evalBinOpLN()
1322 SVal VisitMemRegion(const MemRegion *R) { return loc::MemRegionVal(R); } in simplifySVal()
H A DExprEngineObjC.cpp62 if (auto MV = elementV.getAs<loc::MemRegionVal>()) in populateObjCForDestinationSet()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DNonnullGlobalConstantsChecker.cpp93 Optional<loc::MemRegionVal> RegionVal = V.getAs<loc::MemRegionVal>(); in isGlobalConstString()
H A DObjCSelfInitChecker.cpp415 if (!location.getAs<loc::MemRegionVal>()) in isSelfVar()
418 loc::MemRegionVal MRV = location.castAs<loc::MemRegionVal>(); in isSelfVar()
H A DNSErrorChecker.cpp190 if (Optional<loc::MemRegionVal> X = val.getAs<loc::MemRegionVal>()) { in parameterTypeFromSVal()
H A DBuiltinFunctionChecker.cpp95 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R))); in evalCall()
H A DNullabilityChecker.cpp278 auto RegionSVal = Val.getAs<loc::MemRegionVal>(); in getTrackRegion()
339 auto RegionVal = LV.getAs<loc::MemRegionVal>(); in checkValueAtLValForInvariantViolation()
349 auto StoredVal = State->getSVal(*RegionVal).getAs<loc::MemRegionVal>(); in checkValueAtLValForInvariantViolation()
803 auto ValueRegionSVal = Receiver.getAs<loc::MemRegionVal>(); in getReceiverNullability()
H A DUndefResultChecker.cpp48 const MemRegion *MR = Loc.castAs<loc::MemRegionVal>().getRegion(); in isArrayIndexOutOfBounds()
H A DVirtualCallChecker.cpp110 const MemRegion *Reg = ThiSVal.castAs<loc::MemRegionVal>().getRegion(); in REGISTER_MAP_WITH_PROGRAMSTATE()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSVals.h596 class MemRegionVal : public Loc {
598 explicit MemRegionVal(const MemRegion* r) : Loc(MemRegionValKind, r) { in MemRegionVal() function
615 bool operator==(const MemRegionVal &R) const {
619 bool operator!=(const MemRegionVal &R) const {
626 MemRegionVal() = default;
H A DSValBuilder.h355 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in makeLoc()
359 return loc::MemRegionVal(region); in makeLoc()
380 loc::MemRegionVal getCXXThis(const CXXMethodDecl *D,
384 loc::MemRegionVal getCXXThis(const CXXRecordDecl *D,
H A DSVals.def62 LOC_SVAL(MemRegionVal, Loc)
H A DProgramState.h742 return loc::MemRegionVal( in getLValue()
750 return loc::MemRegionVal( in getLValue()
814 loc::MemRegionVal(R), in getSVal()
H A DStore.h141 return loc::MemRegionVal(MRMgr.getCompoundLiteralRegion(CL, LC)); in getLValueCompoundLiteral()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedObjectChecker.cpp285 State->getLValue(I, loc::MemRegionVal(R)).castAs<loc::MemRegionVal>(); in isNonUnionUninit()
342 .castAs<loc::MemRegionVal>() in isNonUnionUninit()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h55 std::string VisitLocMemRegionVal(loc::MemRegionVal V) { in VisitLocMemRegionVal()

12