/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 | 264 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 …]
|
D | SValBuilder.cpp | 107 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 …]
|
D | ExprEngineCXX.cpp | 320 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()
|
D | RegionStore.cpp | 1032 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 …]
|
D | ConstraintManager.cpp | 25 return loc::MemRegionVal(R); in getLocFromSymbol()
|
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 | ExprEngineObjC.cpp | 107 if (Optional<loc::MemRegionVal> MV = elementV.getAs<loc::MemRegionVal>()) in VisitObjCForCollectionStmt()
|
D | CallEvent.cpp | 606 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()
|
D | ExprEngine.cpp | 131 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()
|
D | ExprEngineC.cpp | 232 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()
|
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() 922 return loc::MemRegionVal(MemMgr.getElementRegion(elementType, *indexV, in evalBinOpLN()
|
D | BugReporterVisitors.cpp | 1043 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/ |
D | SValBuilder.h | 306 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,
|
D | SVals.h | 496 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
|
D | SVals.def | 62 LOC_SVAL(MemRegionVal, Loc)
|
D | Store.h | 93 return loc::MemRegionVal(MRMgr.getCompoundLiteralRegion(CL, LC)); in getLValueCompoundLiteral()
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
D | ObjCSelfInitChecker.cpp | 415 if (!location.getAs<loc::MemRegionVal>()) in isSelfVar() 418 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 | 77 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R))); in evalCall()
|
D | CStringChecker.cpp | 905 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()
|
D | MacOSKeychainAPIChecker.cpp | 215 if (Optional<loc::MemRegionVal> X = ArgV.getAs<loc::MemRegionVal>()) { in getAsPointeeSymbol()
|
D | NullabilityChecker.cpp | 293 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()
|
D | CheckObjCDealloc.cpp | 501 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/ |
D | SValExplainer.h | 55 std::string VisitLocMemRegionVal(loc::MemRegionVal V) { in VisitLocMemRegionVal()
|