/external/clang/lib/StaticAnalyzer/Core/ |
H A D | SVals.cpp | 39 if (Optional<loc::MemRegionVal> RV = getAs<loc::MemRegionVal>()) { 52 if (Optional<loc::MemRegionVal> X = getAs<loc::MemRegionVal>()) { 74 if (Optional<loc::MemRegionVal> X = getAs<loc::MemRegionVal>()) { 86 Optional<loc::MemRegionVal> X = getAs<loc::MemRegionVal>(); 136 if (Optional<loc::MemRegionVal> X = getAs<loc::MemRegionVal>()) [all...] |
H A D | Store.cpp | 275 Optional<loc::MemRegionVal> DerivedRegVal = 276 Derived.getAs<loc::MemRegionVal>(); 289 return loc::MemRegionVal(BaseReg); 326 return loc::MemRegionVal(MR); 337 return evalDerivedToBase(loc::MemRegionVal(MR), Paths.front()); 348 return loc::MemRegionVal(MR); 408 BaseR = BaseL.castAs<loc::MemRegionVal>().getRegion(); 429 return loc::MemRegionVal(MRMgr.getObjCIvarRegion(ID, BaseR)); 431 return loc::MemRegionVal(MRMgr.getFieldRegion(cast<FieldDecl>(D), BaseR)); 448 const MemRegion* BaseRegion = Base.castAs<loc::MemRegionVal>() [all...] |
H A D | ConstraintManager.cpp | 25 return loc::MemRegionVal(R);
|
H A D | SValBuilder.cpp | 104 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); 135 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); 151 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); 165 return loc::MemRegionVal(MemMgr.getSymbolicHeapRegion(sym)); 178 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); 194 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); 200 return loc::MemRegionVal(MemMgr.getFunctionTextRegion(func)); 209 return loc::MemRegionVal(BD); 213 loc::MemRegionVal SValBuilder::getCXXThis(const CXXMethodDecl *D, 215 return loc::MemRegionVal(getRegionManage [all...] |
H A D | Environment.cpp | 143 // - Mark the region in DRoots if the binding is a loc::MemRegionVal. 173 if (Optional<loc::MemRegionVal> R = X.getAs<loc::MemRegionVal>())
|
H A D | ExprEngineObjC.cpp | 107 if (Optional<loc::MemRegionVal> MV = elementV.getAs<loc::MemRegionVal>())
|
H A D | ExprEngineCXX.cpp | 247 State = State->bindDefault(loc::MemRegionVal(Target), ZeroVal); 293 SVal DestVal = loc::MemRegionVal(Dest); 386 const MemRegion *NewReg = symVal.castAs<loc::MemRegionVal>().getRegion(); 391 loc::MemRegionVal(EleReg)); 464 SVal V = state->getSVal(loc::MemRegionVal(R));
|
H A D | ProgramState.cpp | 127 const MemRegion *R = loc.castAs<loc::MemRegionVal>().getRegion(); 149 Values.push_back(loc::MemRegionVal(*I)); 154 ConstValues.push_back(loc::MemRegionVal(*I)); 236 assert(!LV.getAs<loc::MemRegionVal>() && "Use invalidateRegion instead."); 569 if (Optional<loc::MemRegionVal> X = val.getAs<loc::MemRegionVal>())
|
H A D | RegionStore.cpp | 1022 SVal V = RM.getBinding(B, loc::MemRegionVal(VR)); 1254 if (!Array.getAs<loc::MemRegionVal>()) 1257 const MemRegion* R = Array.castAs<loc::MemRegionVal>().getRegion(); 1259 return loc::MemRegionVal(MRMgr.getElementRegion(T, ZeroIdx, R, Ctx)); 1279 if (!L.getAs<loc::MemRegionVal>()) { 1283 const MemRegion *MR = L.castAs<loc::MemRegionVal>().getRegion(); 1881 if (Optional<loc::MemRegionVal> LV = L.getAs<loc::MemRegionVal>()) 1897 const MemRegion *R = L.castAs<loc::MemRegionVal>().getRegion(); 1965 if (Optional<loc::MemRegionVal> MR [all...] |
H A D | ExprEngine.cpp | 118 SVal V = state->getSVal(loc::MemRegionVal(R)); 141 SVal V = state->getSVal(loc::MemRegionVal(R)); 157 loc::MemRegionVal L = svalBuilder.getCXXThis(MD, SFC); 224 SVal Reg = loc::MemRegionVal(TR); 554 const MemRegion *Region = dest.castAs<loc::MemRegionVal>().getRegion(); 581 VisitCXXDestructor(BaseTy, BaseVal.castAs<loc::MemRegionVal>().getRegion(), 598 FieldVal.castAs<loc::MemRegionVal>().getRegion(), 1809 if (Optional<loc::MemRegionVal> regionLoc = Loc.getAs<loc::MemRegionVal>()) { 1946 if (Optional<loc::MemRegionVal> LocRegVa [all...] |
H A D | CallEvent.cpp | 554 Values.push_back(loc::MemRegionVal(R)); 568 return loc::MemRegionVal(static_cast<const MemRegion *>(Data)); 574 Values.push_back(loc::MemRegionVal(static_cast<const MemRegion *>(Data))); 595 return loc::MemRegionVal(DtorDataTy::getFromOpaqueValue(Data).getPointer());
|
H A D | ExprEngineC.cpp | 203 SVal originalV = State->getSVal(loc::MemRegionVal(originalR)); 204 State = State->bindLoc(loc::MemRegionVal(capturedR), originalV); 472 if (Optional<loc::MemRegionVal> M = 473 InitVal.getAs<loc::MemRegionVal>()) {
|
H A D | SimpleConstraintManager.cpp | 93 const MemRegion *R = Cond.castAs<loc::MemRegionVal>().getRegion();
|
H A D | BugReporterVisitors.cpp | 989 SVal V = LVState->getRawSVal(loc::MemRegionVal(R)); 1036 if (Optional<loc::MemRegionVal> L = V.getAs<loc::MemRegionVal>()) { 1052 loc::MemRegionVal(RegionRVal), false));
|
H A D | SimpleSValBuilder.cpp | 647 assert(rhs.getAs<loc::MemRegionVal>() || rhs.getAs<loc::GotoLabel>()); 901 return loc::MemRegionVal(MemMgr.getElementRegion(elementType, *indexV,
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | BuiltinFunctionChecker.cpp | 76 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R)));
|
H A D | ObjCSelfInitChecker.cpp | 421 if (!location.getAs<loc::MemRegionVal>()) 424 loc::MemRegionVal MRV = location.castAs<loc::MemRegionVal>();
|
H A D | NSErrorChecker.cpp | 189 if (Optional<loc::MemRegionVal> X = val.getAs<loc::MemRegionVal>()) {
|
H A D | CStringChecker.cpp | 808 if (Optional<loc::MemRegionVal> MR = L->getAs<loc::MemRegionVal>()) { 932 loc::MemRegionVal destRegVal = destVal.castAs<loc::MemRegionVal>(); 1531 if (Optional<loc::MemRegionVal> dstRegVal = 1532 DstVal.getAs<loc::MemRegionVal>()) {
|
H A D | MacOSKeychainAPIChecker.cpp | 221 if (Optional<loc::MemRegionVal> X = ArgV.getAs<loc::MemRegionVal>()) {
|
H A D | CallAndMessageChecker.cpp | 168 const SVal &V = StoreMgr.getBinding(store, loc::MemRegionVal(FR));
|
H A D | BasicObjCFoundationChecks.cpp | 435 Optional<loc::MemRegionVal> LV = TheValueExpr.getAs<loc::MemRegionVal>();
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SValBuilder.h | 300 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); 304 return loc::MemRegionVal(region); 316 loc::MemRegionVal getCXXThis(const CXXMethodDecl *D, 320 loc::MemRegionVal getCXXThis(const CXXRecordDecl *D,
|
H A D | SVals.h | 142 /// getAsFunctionDecl - If this SVal is a MemRegionVal and wraps a 491 class MemRegionVal : public Loc { class in namespace:clang::ento::loc 493 explicit MemRegionVal(const MemRegion* r) : Loc(MemRegionKind, r) {} function in class:clang::ento::loc::MemRegionVal 508 inline bool operator==(const MemRegionVal& R) const { 512 inline bool operator!=(const MemRegionVal& R) const { 518 MemRegionVal() {} function in class:clang::ento::loc::MemRegionVal
|
H A D | Store.h | 93 return loc::MemRegionVal(MRMgr.getCompoundLiteralRegion(CL, LC));
|