| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SVals.cpp | 39 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()
|
| D | Store.cpp | 275 Optional<loc::MemRegionVal> DerivedRegVal = in evalDerivedToBase()
276 Derived.getAs<loc::MemRegionVal>(); in evalDerivedToBase()
289 return loc::MemRegionVal(BaseReg); in evalDerivedToBase()
326 return loc::MemRegionVal(MR); in evalDynamicCast()
337 return evalDerivedToBase(loc::MemRegionVal(MR), Paths.front()); in evalDynamicCast()
348 return loc::MemRegionVal(MR); in evalDynamicCast()
408 BaseR = BaseL.castAs<loc::MemRegionVal>().getRegion(); in getLValueFieldOrIvar()
429 return loc::MemRegionVal(MRMgr.getObjCIvarRegion(ID, BaseR)); in getLValueFieldOrIvar()
431 return loc::MemRegionVal(MRMgr.getFieldRegion(cast<FieldDecl>(D), BaseR)); in getLValueFieldOrIvar()
448 const MemRegion* BaseRegion = Base.castAs<loc::MemRegionVal>().getRegion(); in getLValueElement()
[all …]
|
| D | SValBuilder.cpp | 104 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getRegionValueSymbolVal()
135 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in conjureSymbolVal()
151 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in conjureSymbolVal()
165 return loc::MemRegionVal(MemMgr.getSymbolicHeapRegion(sym)); in getConjuredHeapSymbolVal()
178 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getMetadataSymbolVal()
194 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in getDerivedRegionValueSymbolVal()
200 return loc::MemRegionVal(MemMgr.getFunctionTextRegion(func)); in getFunctionPointer()
211 return loc::MemRegionVal(BD); in getBlockPointer()
215 loc::MemRegionVal SValBuilder::getCXXThis(const CXXMethodDecl *D, in getCXXThis()
217 return loc::MemRegionVal(getRegionManager(). in getCXXThis()
[all …]
|
| D | ExprEngineCXX.cpp | 264 State = State->bindDefault(loc::MemRegionVal(Target), ZeroVal); in VisitCXXConstructExpr()
313 DestVal = loc::MemRegionVal(Dest); in VisitCXXDestructor()
435 const MemRegion *NewReg = symVal.castAs<loc::MemRegionVal>().getRegion(); in VisitCXXNewExpr()
440 loc::MemRegionVal(EleReg)); in VisitCXXNewExpr()
513 SVal V = state->getSVal(loc::MemRegionVal(R)); in VisitCXXThisExpr()
|
| D | ConstraintManager.cpp | 25 return loc::MemRegionVal(R); in getLocFromSymbol()
|
| D | ExprEngineObjC.cpp | 107 if (Optional<loc::MemRegionVal> MV = elementV.getAs<loc::MemRegionVal>()) in VisitObjCForCollectionStmt()
|
| D | Environment.cpp | 174 if (Optional<loc::MemRegionVal> R = X.getAs<loc::MemRegionVal>()) in removeDeadBindings()
|
| D | RegionStore.cpp | 1025 SVal V = RM.getBinding(B, loc::MemRegionVal(VR)); in VisitCluster()
1244 if (!Array.getAs<loc::MemRegionVal>()) in ArrayToPointer()
1247 const MemRegion* R = Array.castAs<loc::MemRegionVal>().getRegion(); in ArrayToPointer()
1249 return loc::MemRegionVal(MRMgr.getElementRegion(T, ZeroIdx, R, Ctx)); in ArrayToPointer()
1269 if (!L.getAs<loc::MemRegionVal>()) { in getBinding()
1273 const MemRegion *MR = L.castAs<loc::MemRegionVal>().getRegion(); in getBinding()
1879 if (Optional<loc::MemRegionVal> LV = L.getAs<loc::MemRegionVal>()) in killBinding()
1895 const MemRegion *R = L.castAs<loc::MemRegionVal>().getRegion(); in bind()
1965 if (Optional<loc::MemRegionVal> MRV = Init.getAs<loc::MemRegionVal>()) { in bindArray()
2003 NewB = bind(NewB, loc::MemRegionVal(ER), *VI); in bindArray()
[all …]
|
| D | ProgramState.cpp | 127 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()
|
| D | ExprEngine.cpp | 120 SVal V = state->getSVal(loc::MemRegionVal(R)); in getInitialState()
143 SVal V = state->getSVal(loc::MemRegionVal(R)); in getInitialState()
159 loc::MemRegionVal L = svalBuilder.getCXXThis(MD, SFC); in getInitialState()
226 SVal Reg = loc::MemRegionVal(TR); in createTemporaryRegionIfNeeded()
583 const MemRegion *Region = dest.castAs<loc::MemRegionVal>().getRegion(); in ProcessAutomaticObjDtor()
638 VisitCXXDestructor(BaseTy, BaseVal.castAs<loc::MemRegionVal>().getRegion(), in ProcessBaseDtor()
655 FieldVal.castAs<loc::MemRegionVal>().getRegion(), in ProcessMemberDtor()
1915 if (Optional<loc::MemRegionVal> regionLoc = Loc.getAs<loc::MemRegionVal>()) { in processPointerEscapedOnBind()
2044 if (Optional<loc::MemRegionVal> LocRegVal = in evalBind()
2045 location.getAs<loc::MemRegionVal>()) { in evalBind()
|
| D | CallEvent.cpp | 555 Values.push_back(loc::MemRegionVal(R)); in getExtraInvalidatedValues()
569 return loc::MemRegionVal(static_cast<const MemRegion *>(Data)); in getCXXThisVal()
575 Values.push_back(loc::MemRegionVal(static_cast<const MemRegion *>(Data))); in getExtraInvalidatedValues()
594 return loc::MemRegionVal(DtorDataTy::getFromOpaqueValue(Data).getPointer()); in getCXXThisVal()
|
| D | ExprEngineC.cpp | 211 SVal originalV = State->getSVal(loc::MemRegionVal(originalR)); in VisitBlockExpr()
212 State = State->bindLoc(loc::MemRegionVal(capturedR), originalV); in VisitBlockExpr()
482 if (Optional<loc::MemRegionVal> M = in VisitDeclStmt()
483 InitVal.getAs<loc::MemRegionVal>()) { in VisitDeclStmt()
|
| D | SimpleSValBuilder.cpp | 145 const MemRegion *R = val.castAs<loc::MemRegionVal>().getRegion(); in evalCastFromLoc()
672 assert(rhs.getAs<loc::MemRegionVal>() || rhs.getAs<loc::GotoLabel>()); in evalBinOpLL()
921 return loc::MemRegionVal(MemMgr.getElementRegion(elementType, *indexV, in evalBinOpLN()
|
| D | BugReporterVisitors.cpp | 989 SVal V = LVState->getRawSVal(loc::MemRegionVal(R)); in trackNullOrUndefValue()
1036 if (Optional<loc::MemRegionVal> L = V.getAs<loc::MemRegionVal>()) { in trackNullOrUndefValue()
1052 loc::MemRegionVal(RegionRVal), false)); in trackNullOrUndefValue()
|
| D | PathDiagnostic.cpp | 1151 if (Optional<loc::MemRegionVal> Reg = SV.getAs<loc::MemRegionVal>()) { in getMessage()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SValBuilder.h | 301 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); in makeLoc()
305 return loc::MemRegionVal(region); in makeLoc()
317 loc::MemRegionVal getCXXThis(const CXXMethodDecl *D,
321 loc::MemRegionVal getCXXThis(const CXXRecordDecl *D,
|
| D | SVals.h | 491 class MemRegionVal : public Loc {
493 explicit MemRegionVal(const MemRegion* r) : Loc(MemRegionKind, r) {} in MemRegionVal() function
508 inline bool operator==(const MemRegionVal& R) const {
512 inline bool operator!=(const MemRegionVal& R) const {
518 MemRegionVal() {} in MemRegionVal() function
|
| D | Store.h | 93 return loc::MemRegionVal(MRMgr.getCompoundLiteralRegion(CL, LC)); in getLValueCompoundLiteral()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | ObjCSelfInitChecker.cpp | 419 if (!location.getAs<loc::MemRegionVal>()) in isSelfVar()
422 loc::MemRegionVal MRV = location.castAs<loc::MemRegionVal>(); in isSelfVar()
|
| D | NSErrorChecker.cpp | 191 if (Optional<loc::MemRegionVal> X = val.getAs<loc::MemRegionVal>()) { in parameterTypeFromSVal()
|
| D | BuiltinFunctionChecker.cpp | 74 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R))); in evalCall()
|
| D | MacOSKeychainAPIChecker.cpp | 221 if (Optional<loc::MemRegionVal> X = ArgV.getAs<loc::MemRegionVal>()) { in getAsPointeeSymbol()
|
| D | CStringChecker.cpp | 830 if (Optional<loc::MemRegionVal> MR = L->getAs<loc::MemRegionVal>()) { in InvalidateBuffer()
967 loc::MemRegionVal destRegVal = destVal.castAs<loc::MemRegionVal>(); in evalCopyCommon()
1576 if (Optional<loc::MemRegionVal> dstRegVal = in evalStrcpyCommon()
1577 DstVal.getAs<loc::MemRegionVal>()) { in evalStrcpyCommon()
|
| D | BasicObjCFoundationChecks.cpp | 470 Optional<loc::MemRegionVal> LV = TheValueExpr.getAs<loc::MemRegionVal>(); in checkPreStmt()
|
| D | CallAndMessageChecker.cpp | 243 const SVal &V = StoreMgr.getBinding(store, loc::MemRegionVal(FR)); in PreVisitProcessArg()
|