HomeSort by relevance Sort by last modified time
    Searched refs:ScanReachableSymbols (Results 1 - 5 of 5) sorted by null

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
Store.h 36 class ScanReachableSymbols;
203 virtual bool scanReachableSymbols(Store S, const MemRegion *R,
204 ScanReachableSymbols &Visitor) = 0;
ProgramState.h 295 /// This is a convenience API. Consider using ScanReachableSymbols class
298 /// \sa ScanReachableSymbols
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 {
775 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...]
Environment.cpp 143 // see ScanReachableSymbols.
156 ScanReachableSymbols RSScaner(ST, CB);
RegionStore.cpp 401 bool scanReachableSymbols(Store S, const MemRegion *R,
402 ScanReachableSymbols &Callbacks) override;
745 bool RegionStoreManager::scanReachableSymbols(Store S, const MemRegion *R,
746 ScanReachableSymbols &Callbacks) {
    [all...]

Completed in 467 milliseconds