Searched refs:MemRegionVal (Results 1 - 25 of 28) sorted by relevance

12

/external/clang/lib/StaticAnalyzer/Core/
H A DSVals.cpp39 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 DStore.cpp275 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 DConstraintManager.cpp25 return loc::MemRegionVal(R);
H A DSValBuilder.cpp104 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 DEnvironment.cpp143 // - Mark the region in DRoots if the binding is a loc::MemRegionVal.
173 if (Optional<loc::MemRegionVal> R = X.getAs<loc::MemRegionVal>())
H A DExprEngineObjC.cpp107 if (Optional<loc::MemRegionVal> MV = elementV.getAs<loc::MemRegionVal>())
H A DExprEngineCXX.cpp247 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 DProgramState.cpp127 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 DRegionStore.cpp1022 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 DExprEngine.cpp118 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 DCallEvent.cpp554 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 DExprEngineC.cpp203 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 DSimpleConstraintManager.cpp93 const MemRegion *R = Cond.castAs<loc::MemRegionVal>().getRegion();
H A DBugReporterVisitors.cpp989 SVal V = LVState->getRawSVal(loc::MemRegionVal(R));
1036 if (Optional<loc::MemRegionVal> L = V.getAs<loc::MemRegionVal>()) {
1052 loc::MemRegionVal(RegionRVal), false));
H A DSimpleSValBuilder.cpp647 assert(rhs.getAs<loc::MemRegionVal>() || rhs.getAs<loc::GotoLabel>());
901 return loc::MemRegionVal(MemMgr.getElementRegion(elementType, *indexV,
/external/clang/lib/StaticAnalyzer/Checkers/
H A DBuiltinFunctionChecker.cpp76 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R)));
H A DObjCSelfInitChecker.cpp421 if (!location.getAs<loc::MemRegionVal>())
424 loc::MemRegionVal MRV = location.castAs<loc::MemRegionVal>();
H A DNSErrorChecker.cpp189 if (Optional<loc::MemRegionVal> X = val.getAs<loc::MemRegionVal>()) {
H A DCStringChecker.cpp808 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 DMacOSKeychainAPIChecker.cpp221 if (Optional<loc::MemRegionVal> X = ArgV.getAs<loc::MemRegionVal>()) {
H A DCallAndMessageChecker.cpp168 const SVal &V = StoreMgr.getBinding(store, loc::MemRegionVal(FR));
H A DBasicObjCFoundationChecks.cpp435 Optional<loc::MemRegionVal> LV = TheValueExpr.getAs<loc::MemRegionVal>();
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h300 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 DSVals.h142 /// 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 DStore.h93 return loc::MemRegionVal(MRMgr.getCompoundLiteralRegion(CL, LC));

Completed in 303 milliseconds

12