/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
ProgramState.h | 318 /// This is a convenience API. Consider using ScanReachableSymbols class 321 /// \sa ScanReachableSymbols 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 { 811 scanReachableSymbols(val, cb) [all...] |
/prebuilts/clang/host/darwin-x86/clang-3957855/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
ProgramState.h | 317 /// This is a convenience API. Consider using ScanReachableSymbols class 320 /// \sa ScanReachableSymbols 321 bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const; 325 bool scanReachableSymbols(const SVal *I, const SVal *E, 330 bool scanReachableSymbols(const MemRegion * const *I, 334 template <typename CB> CB scanReachableSymbols(SVal val) const; 335 template <typename CB> CB scanReachableSymbols(const SVal *beg, 339 scanReachableSymbols(const MemRegion * const *beg, 806 CB ProgramState::scanReachableSymbols(SVal val) const { 808 scanReachableSymbols(val, cb) [all...] |
/prebuilts/clang/host/darwin-x86/clang-3960126/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
ProgramState.h | 317 /// This is a convenience API. Consider using ScanReachableSymbols class 320 /// \sa ScanReachableSymbols 321 bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const; 325 bool scanReachableSymbols(const SVal *I, const SVal *E, 330 bool scanReachableSymbols(const MemRegion * const *I, 334 template <typename CB> CB scanReachableSymbols(SVal val) const; 335 template <typename CB> CB scanReachableSymbols(const SVal *beg, 339 scanReachableSymbols(const MemRegion * const *beg, 806 CB ProgramState::scanReachableSymbols(SVal val) const { 808 scanReachableSymbols(val, cb) [all...] |
/prebuilts/clang/host/darwin-x86/clang-3977809/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
ProgramState.h | 317 /// This is a convenience API. Consider using ScanReachableSymbols class 320 /// \sa ScanReachableSymbols 321 bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const; 325 bool scanReachableSymbols(const SVal *I, const SVal *E, 330 bool scanReachableSymbols(const MemRegion * const *I, 334 template <typename CB> CB scanReachableSymbols(SVal val) const; 335 template <typename CB> CB scanReachableSymbols(const SVal *beg, 339 scanReachableSymbols(const MemRegion * const *beg, 806 CB ProgramState::scanReachableSymbols(SVal val) const { 808 scanReachableSymbols(val, cb) [all...] |
/prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
ProgramState.h | 317 /// This is a convenience API. Consider using ScanReachableSymbols class 320 /// \sa ScanReachableSymbols 321 bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const; 325 bool scanReachableSymbols(const SVal *I, const SVal *E, 330 bool scanReachableSymbols(const MemRegion * const *I, 334 template <typename CB> CB scanReachableSymbols(SVal val) const; 335 template <typename CB> CB scanReachableSymbols(const SVal *beg, 339 scanReachableSymbols(const MemRegion * const *beg, 806 CB ProgramState::scanReachableSymbols(SVal val) const { 808 scanReachableSymbols(val, cb) [all...] |
/prebuilts/clang/host/linux-x86/clang-3957855/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
ProgramState.h | 317 /// This is a convenience API. Consider using ScanReachableSymbols class 320 /// \sa ScanReachableSymbols 321 bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const; 325 bool scanReachableSymbols(const SVal *I, const SVal *E, 330 bool scanReachableSymbols(const MemRegion * const *I, 334 template <typename CB> CB scanReachableSymbols(SVal val) const; 335 template <typename CB> CB scanReachableSymbols(const SVal *beg, 339 scanReachableSymbols(const MemRegion * const *beg, 806 CB ProgramState::scanReachableSymbols(SVal val) const { 808 scanReachableSymbols(val, cb) [all...] |
/prebuilts/clang/host/linux-x86/clang-3960126/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
ProgramState.h | 317 /// This is a convenience API. Consider using ScanReachableSymbols class 320 /// \sa ScanReachableSymbols 321 bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const; 325 bool scanReachableSymbols(const SVal *I, const SVal *E, 330 bool scanReachableSymbols(const MemRegion * const *I, 334 template <typename CB> CB scanReachableSymbols(SVal val) const; 335 template <typename CB> CB scanReachableSymbols(const SVal *beg, 339 scanReachableSymbols(const MemRegion * const *beg, 806 CB ProgramState::scanReachableSymbols(SVal val) const { 808 scanReachableSymbols(val, cb) [all...] |
/prebuilts/clang/host/linux-x86/clang-3977809/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
ProgramState.h | 317 /// This is a convenience API. Consider using ScanReachableSymbols class 320 /// \sa ScanReachableSymbols 321 bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const; 325 bool scanReachableSymbols(const SVal *I, const SVal *E, 330 bool scanReachableSymbols(const MemRegion * const *I, 334 template <typename CB> CB scanReachableSymbols(SVal val) const; 335 template <typename CB> CB scanReachableSymbols(const SVal *beg, 339 scanReachableSymbols(const MemRegion * const *beg, 806 CB ProgramState::scanReachableSymbols(SVal val) const { 808 scanReachableSymbols(val, cb) [all...] |
/prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
ProgramState.h | 317 /// This is a convenience API. Consider using ScanReachableSymbols class 320 /// \sa ScanReachableSymbols 321 bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const; 325 bool scanReachableSymbols(const SVal *I, const SVal *E, 330 bool scanReachableSymbols(const MemRegion * const *I, 334 template <typename CB> CB scanReachableSymbols(SVal val) const; 335 template <typename CB> CB scanReachableSymbols(const SVal *beg, 339 scanReachableSymbols(const MemRegion * const *beg, 806 CB ProgramState::scanReachableSymbols(SVal val) const { 808 scanReachableSymbols(val, cb) [all...] |
/external/clang/lib/StaticAnalyzer/Core/ |
ProgramState.cpp | 508 bool ScanReachableSymbols::scan(nonloc::LazyCompoundVal val) { 515 // arithmetic doesn't apply, but scanReachableSymbols only accepts base 518 return StoreMgr.scanReachableSymbols(val.getStore(), R, *this); 521 bool ScanReachableSymbols::scan(nonloc::CompoundVal val) { 529 bool ScanReachableSymbols::scan(const SymExpr *sym) { 559 bool ScanReachableSymbols::scan(SVal val) { 582 bool ScanReachableSymbols::scan(const MemRegion *R) { 607 if (!StoreMgr.scanReachableSymbols(state->getStore(), SR, *this)) 625 bool ProgramState::scanReachableSymbols(SVal val, SymbolVisitor& visitor) const { 626 ScanReachableSymbols S(this, visitor) [all...] |
RegionStore.cpp | 397 bool scanReachableSymbols(Store S, const MemRegion *R, 398 ScanReachableSymbols &Callbacks) override; 731 bool RegionStoreManager::scanReachableSymbols(Store S, const MemRegion *R, 732 ScanReachableSymbols &Callbacks) { [all...] |