| /external/clang/lib/StaticAnalyzer/Core/ |
| 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...] |
| 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>().getRegion()
[all...] |
| ConstraintManager.cpp | 25 return loc::MemRegionVal(R);
|
| 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));
211 return loc::MemRegionVal(BD);
215 loc::MemRegionVal SValBuilder::getCXXThis(const CXXMethodDecl *D,
217 return loc::MemRegionVal(getRegionManager()
[all...] |
| Environment.cpp | 144 // - Mark the region in DRoots if the binding is a loc::MemRegionVal.
174 if (Optional<loc::MemRegionVal> R = X.getAs<loc::MemRegionVal>())
|
| ExprEngineObjC.cpp | 107 if (Optional<loc::MemRegionVal> MV = elementV.getAs<loc::MemRegionVal>())
|
| ExprEngineCXX.cpp | 264 State = State->bindDefault(loc::MemRegionVal(Target), ZeroVal);
313 DestVal = loc::MemRegionVal(Dest);
435 const MemRegion *NewReg = symVal.castAs<loc::MemRegionVal>().getRegion();
440 loc::MemRegionVal(EleReg));
513 SVal V = state->getSVal(loc::MemRegionVal(R));
|
| RegionStore.cpp | [all...] |
| ProgramState.cpp | 127 const MemRegion *R = loc.castAs<loc::MemRegionVal>().getRegion();
149 Values.push_back(loc::MemRegionVal(*I));
215 assert(!LV.getAs<loc::MemRegionVal>() && "Use invalidateRegion instead.");
560 if (Optional<loc::MemRegionVal> X = val.getAs<loc::MemRegionVal>())
|
| ExprEngine.cpp | 120 SVal V = state->getSVal(loc::MemRegionVal(R));
143 SVal V = state->getSVal(loc::MemRegionVal(R));
159 loc::MemRegionVal L = svalBuilder.getCXXThis(MD, SFC);
226 SVal Reg = loc::MemRegionVal(TR);
583 const MemRegion *Region = dest.castAs<loc::MemRegionVal>().getRegion();
638 VisitCXXDestructor(BaseTy, BaseVal.castAs<loc::MemRegionVal>().getRegion(),
655 FieldVal.castAs<loc::MemRegionVal>().getRegion(),
[all...] |
| CallEvent.cpp | 555 Values.push_back(loc::MemRegionVal(R));
569 return loc::MemRegionVal(static_cast<const MemRegion *>(Data));
575 Values.push_back(loc::MemRegionVal(static_cast<const MemRegion *>(Data)));
594 return loc::MemRegionVal(DtorDataTy::getFromOpaqueValue(Data).getPointer());
[all...] |
| ExprEngineC.cpp | 211 SVal originalV = State->getSVal(loc::MemRegionVal(originalR));
212 State = State->bindLoc(loc::MemRegionVal(capturedR), originalV);
482 if (Optional<loc::MemRegionVal> M =
483 InitVal.getAs<loc::MemRegionVal>()) {
[all...] |
| SimpleSValBuilder.cpp | 145 const MemRegion *R = val.castAs<loc::MemRegionVal>().getRegion();
672 assert(rhs.getAs<loc::MemRegionVal>() || rhs.getAs<loc::GotoLabel>());
[all...] |
| BugReporterVisitors.cpp | [all...] |
| PathDiagnostic.cpp | [all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValBuilder.h | 301 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
305 return loc::MemRegionVal(region);
317 loc::MemRegionVal getCXXThis(const CXXMethodDecl *D,
321 loc::MemRegionVal getCXXThis(const CXXRecordDecl *D,
|
| SVals.h | 142 /// getAsFunctionDecl - If this SVal is a MemRegionVal and wraps a
491 class MemRegionVal : public Loc {
493 explicit MemRegionVal(const MemRegion* r) : Loc(MemRegionKind, r) {}
508 inline bool operator==(const MemRegionVal& R) const {
512 inline bool operator!=(const MemRegionVal& R) const {
518 MemRegionVal() {}
|
| Store.h | 93 return loc::MemRegionVal(MRMgr.getCompoundLiteralRegion(CL, LC));
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| BuiltinFunctionChecker.cpp | 74 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R)));
|
| ObjCSelfInitChecker.cpp | 419 if (!location.getAs<loc::MemRegionVal>())
422 loc::MemRegionVal MRV = location.castAs<loc::MemRegionVal>();
|
| NSErrorChecker.cpp | 191 if (Optional<loc::MemRegionVal> X = val.getAs<loc::MemRegionVal>()) {
|
| MacOSKeychainAPIChecker.cpp | 221 if (Optional<loc::MemRegionVal> X = ArgV.getAs<loc::MemRegionVal>()) {
|
| CStringChecker.cpp | 830 if (Optional<loc::MemRegionVal> MR = L->getAs<loc::MemRegionVal>()) {
[all...] |
| CallAndMessageChecker.cpp | 243 const SVal &V = StoreMgr.getBinding(store, loc::MemRegionVal(FR));
|
| BasicObjCFoundationChecks.cpp | 470 Optional<loc::MemRegionVal> LV = TheValueExpr.getAs<loc::MemRegionVal>();
[all...] |
