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))