Lines Matching defs:scan

565 bool ScanReachableSymbols::scan(nonloc::LazyCompoundVal val) {
578 bool ScanReachableSymbols::scan(nonloc::CompoundVal val) {
580     if (!scan(V))
586 bool ScanReachableSymbols::scan(const SymExpr *sym) {
599 bool ScanReachableSymbols::scan(SVal val) {
601     return scan(X->getRegion());
605     return scan(*X);
608     return scan(X->getLoc());
611     return scan(Sym);
614     return scan(*X);
619 bool ScanReachableSymbols::scan(const MemRegion *R) {
638     if (!scan(Super))
641     // When we reach the topmost region, scan all symbols in it.
652       if (!scan(Var.getCapturedRegion()))
662   return S.scan(val);
670     if (!S.scan(R))