/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 | 264 Optional<loc::MemRegionVal> DerivedRegVal = 265 Derived.getAs<loc::MemRegionVal>(); 278 return loc::MemRegionVal(BaseReg); 315 return loc::MemRegionVal(MR); 326 return evalDerivedToBase(loc::MemRegionVal(MR), Paths.front()); 337 return loc::MemRegionVal(MR); 397 BaseR = BaseL.castAs<loc::MemRegionVal>().getRegion(); 418 return loc::MemRegionVal(MRMgr.getObjCIvarRegion(ID, BaseR)); 420 return loc::MemRegionVal(MRMgr.getFieldRegion(cast<FieldDecl>(D), BaseR)); 437 const MemRegion* BaseRegion = Base.castAs<loc::MemRegionVal>().getRegion() [all...] |
ConstraintManager.cpp | 25 return loc::MemRegionVal(R);
|
SValBuilder.cpp | 107 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); 144 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); 163 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); 179 return loc::MemRegionVal(MemMgr.getSymbolicHeapRegion(sym)); 192 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); 211 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); 217 return loc::MemRegionVal(MemMgr.getFunctionCodeRegion(func)); 228 return loc::MemRegionVal(BD); 232 loc::MemRegionVal SValBuilder::getCXXThis(const CXXMethodDecl *D, 234 return loc::MemRegionVal(getRegionManager() [all...] |
ExprEngineCXX.cpp | 320 State = State->bindDefault(loc::MemRegionVal(Target), ZeroVal); 369 DestVal = loc::MemRegionVal(Dest); 491 const MemRegion *NewReg = symVal.castAs<loc::MemRegionVal>().getRegion(); 496 loc::MemRegionVal(EleReg)); 569 SVal V = state->getSVal(loc::MemRegionVal(R)); 580 SVal V = loc::MemRegionVal(R);
|
ExprEngineObjC.cpp | 107 if (Optional<loc::MemRegionVal> MV = elementV.getAs<loc::MemRegionVal>())
|
RegionStore.cpp | [all...] |
CallEvent.cpp | 606 Values.push_back(loc::MemRegionVal(R)); 621 SVal ThisVal = loc::MemRegionVal(CapturedLambdaRegion); 635 return loc::MemRegionVal(static_cast<const MemRegion *>(Data)); 642 Values.push_back(loc::MemRegionVal(static_cast<const MemRegion *>(Data))); 661 return loc::MemRegionVal(DtorDataTy::getFromOpaqueValue(Data).getPointer()); [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>())
|
ExprEngineC.cpp | 232 originalV = State->getSVal(loc::MemRegionVal(originalR)); 234 State = State->bindLoc(loc::MemRegionVal(capturedR), originalV); 518 if (Optional<loc::MemRegionVal> M = 519 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...] |
ExprEngine.cpp | 131 SVal V = state->getSVal(loc::MemRegionVal(R)); 154 SVal V = state->getSVal(loc::MemRegionVal(R)); 170 loc::MemRegionVal L = svalBuilder.getCXXThis(MD, SFC); 237 SVal Reg = loc::MemRegionVal(TR); 598 const MemRegion *Region = dest.castAs<loc::MemRegionVal>().getRegion(); 653 VisitCXXDestructor(BaseTy, BaseVal.castAs<loc::MemRegionVal>().getRegion(), 670 FieldVal.castAs<loc::MemRegionVal>().getRegion(), [all...] |
BugReporterVisitors.cpp | [all...] |
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
SValBuilder.h | 306 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); 310 return loc::MemRegionVal(region); 322 loc::MemRegionVal getCXXThis(const CXXMethodDecl *D, 326 loc::MemRegionVal getCXXThis(const CXXRecordDecl *D,
|
SVals.h | 142 /// getAsFunctionDecl - If this SVal is a MemRegionVal and wraps a 496 class MemRegionVal : public Loc { 498 explicit MemRegionVal(const MemRegion* r) : Loc(MemRegionValKind, r) {} 513 inline bool operator==(const MemRegionVal& R) const { 517 inline bool operator!=(const MemRegionVal& R) const { 523 MemRegionVal() {}
|
Store.h | 93 return loc::MemRegionVal(MRMgr.getCompoundLiteralRegion(CL, LC));
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
BuiltinFunctionChecker.cpp | 77 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R)));
|
ObjCSelfInitChecker.cpp | 415 if (!location.getAs<loc::MemRegionVal>()) 418 loc::MemRegionVal MRV = location.castAs<loc::MemRegionVal>();
|
NSErrorChecker.cpp | 191 if (Optional<loc::MemRegionVal> X = val.getAs<loc::MemRegionVal>()) {
|
CStringChecker.cpp | [all...] |
MacOSKeychainAPIChecker.cpp | 215 if (Optional<loc::MemRegionVal> X = ArgV.getAs<loc::MemRegionVal>()) {
|
NullabilityChecker.cpp | 293 auto RegionSVal = Val.getAs<loc::MemRegionVal>(); 366 auto RegionVal = LV.getAs<loc::MemRegionVal>(); 826 auto ValueRegionSVal = Receiver.getAs<loc::MemRegionVal>(); [all...] |
CheckObjCDealloc.cpp | 501 const MemRegion *SelfRegion = SelfVal.castAs<loc::MemRegionVal>().getRegion(); 627 if (DeallocedInstance.castAs<loc::MemRegionVal>().getRegion() != [all...] |
CallAndMessageChecker.cpp | 250 const SVal &V = StoreMgr.getBinding(store, loc::MemRegionVal(FR));
|
/external/clang/include/clang/StaticAnalyzer/Checkers/ |
SValExplainer.h | 55 std::string VisitLocMemRegionVal(loc::MemRegionVal V) {
|