Searched refs:ScanReachableSymbols (Results 1 – 5 of 5) sorted by relevance
535 bool ScanReachableSymbols::scan(nonloc::LazyCompoundVal val) { in scan()548 bool ScanReachableSymbols::scan(nonloc::CompoundVal val) { in scan()556 bool ScanReachableSymbols::scan(const SymExpr *sym) { in scan()571 bool ScanReachableSymbols::scan(SVal val) { in scan()591 bool ScanReachableSymbols::scan(const MemRegion *R) { in scan()635 ScanReachableSymbols S(this, visitor); in scanReachableSymbols()642 ScanReachableSymbols S(this, visitor); in scanReachableSymbols()
187 ScanReachableSymbols RSScaner(ST, CB); in removeDeadBindings()
436 ScanReachableSymbols &Callbacks) override;790 ScanReachableSymbols &Callbacks) { in scanReachableSymbols()
48 class ScanReachableSymbols; variable247 ScanReachableSymbols &Visitor) = 0;
865 class ScanReachableSymbols {872 ScanReachableSymbols(ProgramStateRef st, SymbolVisitor &v) in ScanReachableSymbols() function