| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | MacOSXAPIChecker.cpp | 76 if (const VarRegion *VR = dyn_cast<VarRegion>(R)) in CheckDispatchOnce()
82 if (isa<VarRegion>(R) && isa<StackLocalsSpaceRegion>(R->getMemorySpace())) in CheckDispatchOnce()
|
| D | StackAddrEscapeChecker.cpp | 74 else if (const VarRegion *VR = dyn_cast<VarRegion>(R)) { in GenName()
217 const VarRegion *VR = cast<VarRegion>(cb.V[i].first->getBaseRegion()); in checkEndPath()
|
| D | UnixAPIChecker.cpp | 173 if (const VarRegion *VR = dyn_cast<VarRegion>(R)) in CheckPthreadOnce()
179 if (isa<VarRegion>(R) && isa<StackLocalsSpaceRegion>(R->getMemorySpace())) in CheckPthreadOnce()
|
| D | PointerArithChecker.cpp | 51 if (isa<VarRegion>(LR) || isa<CodeTextRegion>(LR) || in checkPreStmt()
|
| D | NSErrorChecker.cpp | 204 if (const VarRegion *VR = R->getAs<VarRegion>()) in parameterTypeFromSVal()
|
| D | MallocChecker.cpp | 624 const VarRegion *VR = dyn_cast<VarRegion>(MR); in SummarizeRegion()
639 const VarRegion *VR = dyn_cast<VarRegion>(MR); in SummarizeRegion()
654 const VarRegion *VR = dyn_cast<VarRegion>(MR); in SummarizeRegion()
1053 const VarRegion *VR = *I; in checkPostStmt()
1127 escapes = !isa<VarRegion>(regionLoc->getRegion()); in checkBind()
|
| D | UndefCapturedBlockVarChecker.cpp | 70 const VarRegion *VR = *I; in checkPostStmt()
|
| D | RetainCountChecker.cpp | 2563 const VarRegion *VR = *I; in checkPostStmt()
3355 escapes = !isa<VarRegion>(regionLoc->getRegion()); in checkBind()
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | BugReporterVisitors.cpp | 126 if (const VarRegion *VR = dyn_cast<VarRegion>(R)) { in VisitNode()
160 if (const VarRegion *VR = dyn_cast<VarRegion>(R)) { in VisitNode()
184 if (isa<VarRegion>(R)) { in VisitNode()
220 if (const VarRegion *VR = dyn_cast<VarRegion>(R)) { in VisitNode()
319 const VarRegion *R = in getTrackNullOrUndefValueVisitor()
416 const VarRegion *R = in registerStatementVarDecls()
|
| D | MemRegion.cpp | 173 const StackFrameContext *VarRegion::getStackFrame() const { in getStackFrame()
326 void VarRegion::Profile(llvm::FoldingSetNodeID &ID) const { in Profile()
327 VarRegion::ProfileRegion(ID, getDecl(), superRegion); in Profile()
505 void VarRegion::dumpToStream(raw_ostream &os) const { in dumpToStream()
541 void VarRegion::dumpPretty(raw_ostream &os) const { in dumpPretty()
646 const VarRegion* MemRegionManager::getVarRegion(const VarDecl *D, in getVarRegion()
711 return getSubRegion<VarRegion>(D, sReg); in getVarRegion()
714 const VarRegion *MemRegionManager::getVarRegion(const VarDecl *D, in getVarRegion()
716 return getSubRegion<VarRegion>(D, superR); in getVarRegion()
1062 const VarRegion *VR = 0; in LazyInitializeReferencedVars()
|
| D | RegionStore.cpp | 301 StoreRef BindDecl(Store store, const VarRegion *VR, SVal InitVal);
303 StoreRef BindDeclWithNoInit(Store store, const VarRegion *) { in BindDeclWithNoInit() argument
351 SVal getBindingForVar(Store store, const VarRegion *R);
682 const VarRegion *VR = *BI; in VisitBaseRegion()
1068 if (const VarRegion *VR = dyn_cast<VarRegion>(R)) { in getBinding()
1358 SVal RegionStoreManager::getBindingForVar(Store store, const VarRegion *R) { in getBindingForVar()
1501 StoreRef RegionStoreManager::BindDecl(Store store, const VarRegion *VR, in BindDecl()
1804 if (const VarRegion *VR = dyn_cast<VarRegion>(baseR)) { in VisitAddedToCluster()
|
| D | SymbolManager.cpp | 438 if (const VarRegion *VR = dyn_cast<VarRegion>(MR)) in isLiveRegion()
508 bool SymbolReaper::isLive(const VarRegion *VR, bool includeStoreBindings) const{ in isLive()
|
| D | ProgramState.cpp | 122 ProgramStateRef ProgramState::bindDecl(const VarRegion* VR, SVal IVal) const { in bindDecl()
128 ProgramStateRef ProgramState::bindDeclWithNoInit(const VarRegion* VR) const { in bindDeclWithNoInit()
|
| D | ExprEngineCallAndReturn.cpp | 352 if (isa<VarRegion>(superReg) || isa<FieldRegion>(superReg) || in invalidateArguments()
|
| D | ExprEngine.cpp | 1573 const VarRegion *VR = in evalBind()
1574 cast<VarRegion>(cast<loc::MemRegionVal>(location).getRegion()); in evalBind()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | MemRegion.h | 42 class VarRegion; variable
601 const VarRegion* operator*() const {
602 return cast<VarRegion>(*R);
792 class VarRegion : public DeclRegion {
796 VarRegion(const VarDecl *vd, const MemRegion* sReg) in VarRegion() function
1118 const VarRegion* getVarRegion(const VarDecl *D, const LocationContext *LC);
1122 const VarRegion* getVarRegion(const VarDecl *D, const MemRegion *superR);
|
| D | Store.h | 155 virtual StoreRef BindDecl(Store store, const VarRegion *VR, SVal initVal) = 0;
157 virtual StoreRef BindDeclWithNoInit(Store store, const VarRegion *VR) = 0;
|
| D | ProgramState.h | 181 const VarRegion* getRegion(const VarDecl *D, const LocationContext *LC) const;
204 ProgramStateRef bindDecl(const VarRegion *VR, SVal V) const;
206 ProgramStateRef bindDeclWithNoInit(const VarRegion *VR) const;
607 inline const VarRegion* ProgramState::getRegion(const VarDecl *D, in getRegion()
|
| D | SymbolManager.h | 41 class VarRegion; variable
591 bool isLive(const VarRegion *VR, bool includeStoreBindings = false) const;
|