Searched refs:ScanReachableSymbols (Results 1 – 5 of 5) sorted by relevance
509 bool ScanReachableSymbols::scan(nonloc::LazyCompoundVal val) { in scan()522 bool ScanReachableSymbols::scan(nonloc::CompoundVal val) { in scan()530 bool ScanReachableSymbols::scan(const SymExpr *sym) { in scan()560 bool ScanReachableSymbols::scan(SVal val) { in scan()583 bool ScanReachableSymbols::scan(const MemRegion *R) { in scan()627 ScanReachableSymbols S(this, visitor); in scanReachableSymbols()633 ScanReachableSymbols S(this, visitor); in scanReachableSymbols()644 ScanReachableSymbols S(this, visitor); in scanReachableSymbols()
155 ScanReachableSymbols RSScaner(ST, CB); in removeDeadBindings()
406 ScanReachableSymbols &Callbacks);749 ScanReachableSymbols &Callbacks) { in scanReachableSymbols()
36 class ScanReachableSymbols; variable204 ScanReachableSymbols &Visitor) = 0;
799 class ScanReachableSymbols {807 ScanReachableSymbols(ProgramStateRef st, SymbolVisitor& v) in ScanReachableSymbols() function