Searched refs:ScanReachableSymbols (Results 1 – 5 of 5) sorted by relevance
508 bool ScanReachableSymbols::scan(nonloc::LazyCompoundVal val) { in scan()521 bool ScanReachableSymbols::scan(nonloc::CompoundVal val) { in scan()529 bool ScanReachableSymbols::scan(const SymExpr *sym) { in scan()559 bool ScanReachableSymbols::scan(SVal val) { in scan()582 bool ScanReachableSymbols::scan(const MemRegion *R) { in scan()626 ScanReachableSymbols S(this, visitor); in scanReachableSymbols()632 ScanReachableSymbols S(this, visitor); in scanReachableSymbols()643 ScanReachableSymbols S(this, visitor); in scanReachableSymbols()
157 ScanReachableSymbols RSScaner(ST, CB); in removeDeadBindings()
396 ScanReachableSymbols &Callbacks) override;731 ScanReachableSymbols &Callbacks) { in scanReachableSymbols()
36 class ScanReachableSymbols; variable204 ScanReachableSymbols &Visitor) = 0;
832 class ScanReachableSymbols {840 ScanReachableSymbols(ProgramStateRef st, SymbolVisitor& v) in ScanReachableSymbols() function