Searched refs:scanReachableSymbols (Results 1 – 7 of 7) sorted by relevance
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ProgramState.h | 299 bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const;
303 bool scanReachableSymbols(const SVal *I, const SVal *E,
308 bool scanReachableSymbols(const MemRegion * const *I,
312 template <typename CB> CB scanReachableSymbols(SVal val) const;
313 template <typename CB> CB scanReachableSymbols(const SVal *beg,
317 scanReachableSymbols(const MemRegion * const *beg,
773 CB ProgramState::scanReachableSymbols(SVal val) const { in scanReachableSymbols() function
775 scanReachableSymbols(val, cb); in scanReachableSymbols()
780 CB ProgramState::scanReachableSymbols(const SVal *beg, const SVal *end) const { in scanReachableSymbols() function
782 scanReachableSymbols(beg, end, cb); in scanReachableSymbols()
[all …]
|
| D | Store.h | 203 virtual bool scanReachableSymbols(Store S, const MemRegion *R,
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ProgramState.cpp | 518 return StoreMgr.scanReachableSymbols(val.getStore(), R, *this); in scan()
607 if (!StoreMgr.scanReachableSymbols(state->getStore(), SR, *this)) in scan()
625 bool ProgramState::scanReachableSymbols(SVal val, SymbolVisitor& visitor) const { in scanReachableSymbols() function in ProgramState
630 bool ProgramState::scanReachableSymbols(const SVal *I, const SVal *E, in scanReachableSymbols() function in ProgramState
640 bool ProgramState::scanReachableSymbols(const MemRegion * const *I, in scanReachableSymbols() function in ProgramState
|
| D | RegionStore.cpp | 401 bool scanReachableSymbols(Store S, const MemRegion *R,
745 bool RegionStoreManager::scanReachableSymbols(Store S, const MemRegion *R, in scanReachableSymbols() function in RegionStoreManager
|
| D | ExprEngine.cpp | 1939 State->scanReachableSymbols<CollectReachableSymbolsCallback>(Val); in processPointerEscapedOnBind()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | RetainCountChecker.cpp | 2675 state->scanReachableSymbols<StopTrackingCallback>(Regions.data(), in checkPostStmt()
3509 state = state->scanReachableSymbols<StopTrackingCallback>(val).getState(); in checkBind()
|
| D | MallocChecker.cpp | 1957 state->scanReachableSymbols<StopTrackingCallback>(Regions.data(), in checkPostStmt()
|