Searched refs:scanReachableSymbols (Results 1 – 7 of 7) sorted by relevance
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ProgramState.h | 322 bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const;
326 bool scanReachableSymbols(const SVal *I, const SVal *E,
331 bool scanReachableSymbols(const MemRegion * const *I,
335 template <typename CB> CB scanReachableSymbols(SVal val) const;
336 template <typename CB> CB scanReachableSymbols(const SVal *beg,
340 scanReachableSymbols(const MemRegion * const *beg,
809 CB ProgramState::scanReachableSymbols(SVal val) const { in scanReachableSymbols() function
811 scanReachableSymbols(val, cb); in scanReachableSymbols()
816 CB ProgramState::scanReachableSymbols(const SVal *beg, const SVal *end) const { in scanReachableSymbols() function
818 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 | 397 bool scanReachableSymbols(Store S, const MemRegion *R,
731 bool RegionStoreManager::scanReachableSymbols(Store S, const MemRegion *R, in scanReachableSymbols() function in RegionStoreManager
|
| D | ExprEngine.cpp | 2167 State->scanReachableSymbols<CollectReachableSymbolsCallback>(Val); in processPointerEscapedOnBind()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | RetainCountChecker.cpp | 2736 state->scanReachableSymbols<StopTrackingCallback>(Regions.data(), in checkPostStmt()
3659 state = state->scanReachableSymbols<StopTrackingCallback>(val).getState(); in checkBind()
|
| D | MallocChecker.cpp | 2287 state->scanReachableSymbols<StopTrackingCallback>(Regions.data(), in checkPostStmt()
|