Searched refs:ScanReachableSymbols (Results 1 – 5 of 5) sorted by relevance
544 bool ScanReachableSymbols::scan(nonloc::LazyCompoundVal val) { in scan()557 bool ScanReachableSymbols::scan(nonloc::CompoundVal val) { in scan()565 bool ScanReachableSymbols::scan(const SymExpr *sym) { in scan()578 bool ScanReachableSymbols::scan(SVal val) { in scan()598 bool ScanReachableSymbols::scan(const MemRegion *R) { in scan()640 ScanReachableSymbols S(this, visitor); in scanReachableSymbols()647 ScanReachableSymbols S(this, visitor); in scanReachableSymbols()
189 ScanReachableSymbols RSScaner(ST, CB); in removeDeadBindings()
426 ScanReachableSymbols &Callbacks) override;784 ScanReachableSymbols &Callbacks) { in scanReachableSymbols()
48 class ScanReachableSymbols; variable248 ScanReachableSymbols &Visitor) = 0;
905 class ScanReachableSymbols {912 ScanReachableSymbols(ProgramStateRef st, SymbolVisitor &v) in ScanReachableSymbols() function