Searched defs:scanReachableSymbols (Results 1 - 3 of 3) sorted by relevance
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A 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 { function in class:clang::ento::ProgramState 775 scanReachableSymbols(val, cb); 780 CB ProgramState::scanReachableSymbols(const SVal *beg, const SVal *end) const { function in class:clang::ento::ProgramState 782 scanReachableSymbols(be 787 CB ProgramState::scanReachableSymbols(const MemRegion * const *beg, function in class:clang::ento::ProgramState [all...] |
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | ProgramState.cpp | 515 // arithmetic doesn't apply, but scanReachableSymbols only accepts base 518 return StoreMgr.scanReachableSymbols(val.getStore(), R, *this); 607 if (!StoreMgr.scanReachableSymbols(state->getStore(), SR, *this)) 625 bool ProgramState::scanReachableSymbols(SVal val, SymbolVisitor& visitor) const { function in class:ProgramState 630 bool ProgramState::scanReachableSymbols(const SVal *I, const SVal *E, function in class:ProgramState 640 bool ProgramState::scanReachableSymbols(const MemRegion * const *I, function in class:ProgramState
|
H A D | RegionStore.cpp | 401 bool scanReachableSymbols(Store S, const MemRegion *R, 745 bool RegionStoreManager::scanReachableSymbols(Store S, const MemRegion *R, function in class:RegionStoreManager
|
Completed in 2179 milliseconds