546 bool ScanReachableSymbols::scan(nonloc::LazyCompoundVal val) {  in scan()  function in ScanReachableSymbols
559 bool ScanReachableSymbols::scan(nonloc::CompoundVal val) {  in scan()  function in ScanReachableSymbols
561     if (!scan(*I))  in scan()
567 bool ScanReachableSymbols::scan(const SymExpr *sym) {  in scan()  function in ScanReachableSymbols
582 bool ScanReachableSymbols::scan(SVal val) {  in scan()  function in ScanReachableSymbols
584     return scan(X->getRegion());  in scan()
588     return scan(*X);  in scan()
591     return scan(X->getLoc());  in scan()
594     return scan(Sym);  in scan()
597     return scan(*X);  in scan()
602 bool ScanReachableSymbols::scan(const MemRegion *R) {  in scan()  function in ScanReachableSymbols
621     if (!scan(Super))  in scan()
637       if (!scan(I.getCapturedRegion()))  in scan()
647   return S.scan(val);  in scanReachableSymbols()
655     if (!S.scan(R))  in scanReachableSymbols()