/external/clang/lib/StaticAnalyzer/Core/ |
H A D | SVals.cpp | 38 if (const loc::MemRegionVal *RV = dyn_cast<loc::MemRegionVal>(this)) { 51 if (const loc::MemRegionVal* X = dyn_cast<loc::MemRegionVal>(this)) { 70 if (const loc::MemRegionVal *X = dyn_cast<loc::MemRegionVal>(this)) { 80 const loc::MemRegionVal *X = dyn_cast<loc::MemRegionVal>(this); 126 if (const loc::MemRegionVal *X = dyn_cast<loc::MemRegionVal>(thi [all...] |
H A D | SValBuilder.cpp | 104 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); 128 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); 144 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); 158 return loc::MemRegionVal(MemMgr.getSymbolicHeapRegion(sym)); 171 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); 187 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); 193 return loc::MemRegionVal(MemMgr.getFunctionTextRegion(func)); 202 return loc::MemRegionVal(BD); 206 loc::MemRegionVal SValBuilder::getCXXThis(const CXXMethodDecl *D, 208 return loc::MemRegionVal(getRegionManage [all...] |
H A D | ConstraintManager.cpp | 26 return loc::MemRegionVal(R);
|
H A D | Store.cpp | 270 BaseR = cast<loc::MemRegionVal>(BaseL).getRegion(); 291 return loc::MemRegionVal(MRMgr.getObjCIvarRegion(ID, BaseR)); 293 return loc::MemRegionVal(MRMgr.getFieldRegion(cast<FieldDecl>(D), BaseR)); 310 const MemRegion* BaseRegion = cast<loc::MemRegionVal>(Base).getRegion(); 328 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, Offset, 346 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, Offset, 360 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, NewIdx, ArrayR,
|
H A D | ExprEngineCXX.cpp | 44 SVal L = loc::MemRegionVal(R); 178 loc::MemRegionVal(Dest)).getAsRegion(); 235 const MemRegion *NewReg = cast<loc::MemRegionVal>(symVal).getRegion(); 240 loc::MemRegionVal(EleReg)); 314 SVal V = state->getSVal(loc::MemRegionVal(R));
|
H A D | ExprEngineObjC.cpp | 107 if (loc::MemRegionVal *MV = dyn_cast<loc::MemRegionVal>(&elementV))
|
H A D | RegionStore.cpp | 713 SVal V = RM.getBinding(store, loc::MemRegionVal(VR)); 885 if (!isa<loc::MemRegionVal>(Array)) 888 const MemRegion* R = cast<loc::MemRegionVal>(&Array)->getRegion(); 900 return loc::MemRegionVal(MRMgr.getElementRegion(T, ZeroIdx, ArrayR, Ctx)); 924 loc::MemRegionVal *derivedRegVal = dyn_cast<loc::MemRegionVal>(&derived); 931 return loc::MemRegionVal(baseReg); 938 loc::MemRegionVal *baseRegVal = dyn_cast<loc::MemRegionVal>(&base); 962 return loc::MemRegionVal(TS [all...] |
H A D | Environment.cpp | 189 // - Mark the region in DRoots if the binding is a loc::MemRegionVal. 230 if (isa<loc::MemRegionVal>(X)) { 231 const MemRegion *R = cast<loc::MemRegionVal>(X).getRegion();
|
H A D | BugReporterVisitors.cpp | 488 SVal V = state->getRawSVal(loc::MemRegionVal(R)); 496 = new TrackConstraintBRVisitor(cast<loc::MemRegionVal>(V), false); 515 if (loc::MemRegionVal *L = dyn_cast<loc::MemRegionVal>(&V)) { 524 loc::MemRegionVal(RegionRVal), false));
|
H A D | ExprEngineC.cpp | 200 SVal originalV = State->getSVal(loc::MemRegionVal(originalR)); 201 State = State->bindLoc(loc::MemRegionVal(capturedR), originalV); 467 !VD->getType()->isReferenceType() && isa<loc::MemRegionVal>(InitVal)){ 468 InitVal = state->getSVal(cast<loc::MemRegionVal>(InitVal).getRegion());
|
H A D | ProgramState.cpp | 135 const MemRegion *R = cast<loc::MemRegionVal>(loc).getRegion(); 182 assert(!isa<loc::MemRegionVal>(LV) && "Use invalidateRegion instead."); 519 if (loc::MemRegionVal *X = dyn_cast<loc::MemRegionVal>(&val))
|
H A D | SimpleConstraintManager.cpp | 85 const MemRegion *R = cast<loc::MemRegionVal>(Cond).getRegion();
|
H A D | ExprEngine.cpp | 116 SVal V = state->getSVal(loc::MemRegionVal(R)); 139 SVal V = state->getSVal(loc::MemRegionVal(R)); 155 loc::MemRegionVal L = svalBuilder.getCXXThis(MD, SFC); 448 VisitCXXDestructor(varType, cast<loc::MemRegionVal>(dest).getRegion(), 466 VisitCXXDestructor(BaseTy, cast<loc::MemRegionVal>(BaseVal).getRegion(), 482 cast<loc::MemRegionVal>(FieldVal).getRegion(), 1581 if (loc::MemRegionVal *LocRegVal = dyn_cast<loc::MemRegionVal>(&location)) {
|
H A D | CallEvent.cpp | 543 return loc::MemRegionVal(static_cast<const MemRegion *>(Data)); 570 return loc::MemRegionVal(DtorDataTy::getFromOpaqueValue(Data).getPointer());
|
H A D | PathDiagnostic.cpp | 931 if (const loc::MemRegionVal *Reg = dyn_cast<loc::MemRegionVal>(&SV)) {
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | BuiltinFunctionChecker.cpp | 72 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R)));
|
H A D | NSErrorChecker.cpp | 202 if (const loc::MemRegionVal* X = dyn_cast<loc::MemRegionVal>(&val)) {
|
H A D | ObjCSelfInitChecker.cpp | 431 if (!isa<loc::MemRegionVal>(location)) 434 loc::MemRegionVal MRV = cast<loc::MemRegionVal>(location);
|
H A D | CStringChecker.cpp | 818 if (loc::MemRegionVal* MR = dyn_cast<loc::MemRegionVal>(L)) { 941 loc::MemRegionVal *destRegVal = dyn_cast<loc::MemRegionVal>(&destVal); 942 assert(destRegVal && "Destination should be a known MemRegionVal here"); 1550 if (loc::MemRegionVal *dstRegVal = dyn_cast<loc::MemRegionVal>(&DstVal)) {
|
H A D | BasicObjCFoundationChecks.cpp | 310 loc::MemRegionVal* LV = dyn_cast<loc::MemRegionVal>(&TheValueExpr);
|
H A D | MacOSKeychainAPIChecker.cpp | 230 if (const loc::MemRegionVal *X = dyn_cast<loc::MemRegionVal>(&ArgV)) {
|
H A D | CallAndMessageChecker.cpp | 164 const SVal &V = StoreMgr.getBinding(store, loc::MemRegionVal(FR));
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SValBuilder.h | 294 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); 298 return loc::MemRegionVal(region); 310 loc::MemRegionVal getCXXThis(const CXXMethodDecl *D, 314 loc::MemRegionVal getCXXThis(const CXXRecordDecl *D,
|
H A D | SVals.h | 119 /// getAsFunctionDecl - If this SVal is a MemRegionVal and wraps a 426 class MemRegionVal : public Loc { class in namespace:clang::ento::loc 428 explicit MemRegionVal(const MemRegion* r) : Loc(MemRegionKind, r) {} function in class:clang::ento::loc::MemRegionVal 443 inline bool operator==(const MemRegionVal& R) const { 447 inline bool operator!=(const MemRegionVal& R) const {
|
H A D | Store.h | 105 return loc::MemRegionVal(MRMgr.getCompoundLiteralRegion(CL, LC));
|