Home
last modified time | relevance | path

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

12

/external/clang/lib/StaticAnalyzer/Core/
DSVals.cpp39 if (Optional<loc::MemRegionVal> RV = getAs<loc::MemRegionVal>()) { in hasConjuredSymbol()
52 if (Optional<loc::MemRegionVal> X = getAs<loc::MemRegionVal>()) { in getAsFunctionDecl()
74 if (Optional<loc::MemRegionVal> X = getAs<loc::MemRegionVal>()) { in getAsLocSymbol()
86 Optional<loc::MemRegionVal> X = getAs<loc::MemRegionVal>(); in getLocSymbolInBase()
136 if (Optional<loc::MemRegionVal> X = getAs<loc::MemRegionVal>()) in getAsRegion()
145 const MemRegion *loc::MemRegionVal::stripCasts(bool StripBaseCasts) const { in stripCasts()
317 os << '&' << castAs<loc::MemRegionVal>().getRegion()->getString(); in dumpToStream()
DStore.cpp264 Optional<loc::MemRegionVal> DerivedRegVal = in evalDerivedToBase()
265 Derived.getAs<loc::MemRegionVal>(); in evalDerivedToBase()
278 return loc::MemRegionVal(BaseReg); in evalDerivedToBase()
315 return loc::MemRegionVal(MR); in evalDynamicCast()
326 return evalDerivedToBase(loc::MemRegionVal(MR), Paths.front()); in evalDynamicCast()
337 return loc::MemRegionVal(MR); in evalDynamicCast()
397 BaseR = BaseL.castAs<loc::MemRegionVal>().getRegion(); in getLValueFieldOrIvar()
418 return loc::MemRegionVal(MRMgr.getObjCIvarRegion(ID, BaseR)); in getLValueFieldOrIvar()
420 return loc::MemRegionVal(MRMgr.getFieldRegion(cast<FieldDecl>(D), BaseR)); in getLValueFieldOrIvar()
437 const MemRegion* BaseRegion = Base.castAs<loc::MemRegionVal>().getRegion(); in getLValueElement()
[all …]
DSValBuilder.cpp107 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getRegionValueSymbolVal()
144 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in conjureSymbolVal()
163 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in conjureSymbolVal()
179 return loc::MemRegionVal(MemMgr.getSymbolicHeapRegion(sym)); in getConjuredHeapSymbolVal()
192 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getMetadataSymbolVal()
211 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getDerivedRegionValueSymbolVal()
217 return loc::MemRegionVal(MemMgr.getFunctionCodeRegion(func)); in getFunctionPointer()
228 return loc::MemRegionVal(BD); in getBlockPointer()
232 loc::MemRegionVal SValBuilder::getCXXThis(const CXXMethodDecl *D, in getCXXThis()
234 return loc::MemRegionVal(getRegionManager(). in getCXXThis()
[all …]
DExprEngineCXX.cpp320 State = State->bindDefault(loc::MemRegionVal(Target), ZeroVal); in VisitCXXConstructExpr()
369 DestVal = loc::MemRegionVal(Dest); in VisitCXXDestructor()
491 const MemRegion *NewReg = symVal.castAs<loc::MemRegionVal>().getRegion(); in VisitCXXNewExpr()
496 loc::MemRegionVal(EleReg)); in VisitCXXNewExpr()
569 SVal V = state->getSVal(loc::MemRegionVal(R)); in VisitCXXThisExpr()
580 SVal V = loc::MemRegionVal(R); in VisitLambdaExpr()
DRegionStore.cpp1032 SVal V = RM.getBinding(B, loc::MemRegionVal(VR)); in VisitCluster()
1337 if (!Array.getAs<loc::MemRegionVal>()) in ArrayToPointer()
1340 const MemRegion* R = Array.castAs<loc::MemRegionVal>().getRegion(); in ArrayToPointer()
1342 return loc::MemRegionVal(MRMgr.getElementRegion(T, ZeroIdx, R, Ctx)); in ArrayToPointer()
1362 if (!L.getAs<loc::MemRegionVal>()) { in getBinding()
1366 const MemRegion *MR = L.castAs<loc::MemRegionVal>().getRegion(); in getBinding()
1976 if (Optional<loc::MemRegionVal> LV = L.getAs<loc::MemRegionVal>()) in killBinding()
1992 const MemRegion *R = L.castAs<loc::MemRegionVal>().getRegion(); in bind()
2062 if (Optional<loc::MemRegionVal> MRV = Init.getAs<loc::MemRegionVal>()) { in bindArray()
2100 NewB = bind(NewB, loc::MemRegionVal(ER), *VI); in bindArray()
[all …]
DConstraintManager.cpp25 return loc::MemRegionVal(R); in getLocFromSymbol()
DProgramState.cpp127 const MemRegion *R = loc.castAs<loc::MemRegionVal>().getRegion(); in bindDefault()
149 Values.push_back(loc::MemRegionVal(*I)); in invalidateRegions()
215 assert(!LV.getAs<loc::MemRegionVal>() && "Use invalidateRegion instead."); in killBinding()
560 if (Optional<loc::MemRegionVal> X = val.getAs<loc::MemRegionVal>()) in scan()
DExprEngineObjC.cpp107 if (Optional<loc::MemRegionVal> MV = elementV.getAs<loc::MemRegionVal>()) in VisitObjCForCollectionStmt()
DCallEvent.cpp606 Values.push_back(loc::MemRegionVal(R)); in getExtraInvalidatedValues()
621 SVal ThisVal = loc::MemRegionVal(CapturedLambdaRegion); in getInitialStackFrameContents()
635 return loc::MemRegionVal(static_cast<const MemRegion *>(Data)); in getCXXThisVal()
642 Values.push_back(loc::MemRegionVal(static_cast<const MemRegion *>(Data))); in getExtraInvalidatedValues()
661 return loc::MemRegionVal(DtorDataTy::getFromOpaqueValue(Data).getPointer()); in getCXXThisVal()
DExprEngine.cpp131 SVal V = state->getSVal(loc::MemRegionVal(R)); in getInitialState()
154 SVal V = state->getSVal(loc::MemRegionVal(R)); in getInitialState()
170 loc::MemRegionVal L = svalBuilder.getCXXThis(MD, SFC); in getInitialState()
237 SVal Reg = loc::MemRegionVal(TR); in createTemporaryRegionIfNeeded()
598 const MemRegion *Region = dest.castAs<loc::MemRegionVal>().getRegion(); in ProcessAutomaticObjDtor()
653 VisitCXXDestructor(BaseTy, BaseVal.castAs<loc::MemRegionVal>().getRegion(), in ProcessBaseDtor()
670 FieldVal.castAs<loc::MemRegionVal>().getRegion(), in ProcessMemberDtor()
2143 if (Optional<loc::MemRegionVal> regionLoc = Loc.getAs<loc::MemRegionVal>()) { in processPointerEscapedOnBind()
2270 if (Optional<loc::MemRegionVal> LocRegVal = in evalBind()
2271 location.getAs<loc::MemRegionVal>()) { in evalBind()
DExprEngineC.cpp232 originalV = State->getSVal(loc::MemRegionVal(originalR)); in VisitBlockExpr()
234 State = State->bindLoc(loc::MemRegionVal(capturedR), originalV); in VisitBlockExpr()
518 if (Optional<loc::MemRegionVal> M = in VisitDeclStmt()
519 InitVal.getAs<loc::MemRegionVal>()) { in VisitDeclStmt()
DSimpleSValBuilder.cpp145 const MemRegion *R = val.castAs<loc::MemRegionVal>().getRegion(); in evalCastFromLoc()
672 assert(rhs.getAs<loc::MemRegionVal>() || rhs.getAs<loc::GotoLabel>()); in evalBinOpLL()
922 return loc::MemRegionVal(MemMgr.getElementRegion(elementType, *indexV, in evalBinOpLN()
DBugReporterVisitors.cpp1043 SVal V = LVState->getRawSVal(loc::MemRegionVal(R)); in trackNullOrUndefValue()
1086 if (Optional<loc::MemRegionVal> L = V.getAs<loc::MemRegionVal>()) { in trackNullOrUndefValue()
1102 loc::MemRegionVal(RegionRVal), false)); in trackNullOrUndefValue()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSValBuilder.h306 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in makeLoc()
310 return loc::MemRegionVal(region); in makeLoc()
322 loc::MemRegionVal getCXXThis(const CXXMethodDecl *D,
326 loc::MemRegionVal getCXXThis(const CXXRecordDecl *D,
DSVals.h496 class MemRegionVal : public Loc {
498 explicit MemRegionVal(const MemRegion* r) : Loc(MemRegionValKind, r) {} in MemRegionVal() function
513 inline bool operator==(const MemRegionVal& R) const {
517 inline bool operator!=(const MemRegionVal& R) const {
523 MemRegionVal() {} in MemRegionVal() function
DSVals.def62 LOC_SVAL(MemRegionVal, Loc)
DStore.h93 return loc::MemRegionVal(MRMgr.getCompoundLiteralRegion(CL, LC)); in getLValueCompoundLiteral()
/external/clang/lib/StaticAnalyzer/Checkers/
DObjCSelfInitChecker.cpp415 if (!location.getAs<loc::MemRegionVal>()) in isSelfVar()
418 loc::MemRegionVal MRV = location.castAs<loc::MemRegionVal>(); in isSelfVar()
DNSErrorChecker.cpp191 if (Optional<loc::MemRegionVal> X = val.getAs<loc::MemRegionVal>()) { in parameterTypeFromSVal()
DBuiltinFunctionChecker.cpp77 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R))); in evalCall()
DCStringChecker.cpp905 if (Optional<loc::MemRegionVal> MR = L->getAs<loc::MemRegionVal>()) { in InvalidateBuffer()
1052 loc::MemRegionVal destRegVal = destVal.castAs<loc::MemRegionVal>(); in evalCopyCommon()
1060 loc::MemRegionVal DestRegCharVal = SvalBuilder.evalCast(destRegVal, in evalCopyCommon()
1061 CharPtrTy, Dest->getType()).castAs<loc::MemRegionVal>(); in evalCopyCommon()
1666 if (Optional<loc::MemRegionVal> dstRegVal = in evalStrcpyCommon()
1667 DstVal.getAs<loc::MemRegionVal>()) { in evalStrcpyCommon()
DMacOSKeychainAPIChecker.cpp215 if (Optional<loc::MemRegionVal> X = ArgV.getAs<loc::MemRegionVal>()) { in getAsPointeeSymbol()
DNullabilityChecker.cpp293 auto RegionSVal = Val.getAs<loc::MemRegionVal>(); in getTrackRegion()
366 auto RegionVal = LV.getAs<loc::MemRegionVal>(); in checkValueAtLValForInvariantViolation()
826 auto ValueRegionSVal = Receiver.getAs<loc::MemRegionVal>(); in getReceiverNullability()
DCheckObjCDealloc.cpp501 const MemRegion *SelfRegion = SelfVal.castAs<loc::MemRegionVal>().getRegion(); in diagnoseMissingReleases()
627 if (DeallocedInstance.castAs<loc::MemRegionVal>().getRegion() != in findPropertyOnDeallocatingInstance()
/external/clang/include/clang/StaticAnalyzer/Checkers/
DSValExplainer.h55 std::string VisitLocMemRegionVal(loc::MemRegionVal V) { in VisitLocMemRegionVal()

12