Searched refs:ScanReachableSymbols (Results 1 – 5 of 5) sorted by relevance
576 bool ScanReachableSymbols::scan(nonloc::LazyCompoundVal val) { in scan()589 bool ScanReachableSymbols::scan(nonloc::CompoundVal val) { in scan()597 bool ScanReachableSymbols::scan(const SymExpr *sym) { in scan()610 bool ScanReachableSymbols::scan(SVal val) { in scan()630 bool ScanReachableSymbols::scan(const MemRegion *R) { in scan()672 ScanReachableSymbols S(this, visitor); in scanReachableSymbols()679 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; variable244 ScanReachableSymbols &Visitor) = 0;
893 class ScanReachableSymbols {900 ScanReachableSymbols(ProgramStateRef st, SymbolVisitor &v) in ScanReachableSymbols() function