Lines Matching refs:scan
516 bool ScanReachableSymbols::scan(nonloc::CompoundVal val) {
518 if (!scan(*I))
524 bool ScanReachableSymbols::scan(const SymExpr *sym) {
542 return scan(cast<SymIntExpr>(sym)->getLHS());
545 return scan(x->getLHS()) && scan(x->getRHS());
551 bool ScanReachableSymbols::scan(SVal val) {
553 return scan(X->getRegion());
556 return scan(X->getLoc());
559 return scan(Sym);
562 return scan(Sym);
565 return scan(*X);
570 bool ScanReachableSymbols::scan(const MemRegion *R) {
586 if (!scan(SR->getSuperRegion()))
590 if (!scan(state->getSValAsScalarOrLoc(R)))
603 return S.scan(val);
610 if (!S.scan(*I))
621 if (!S.scan(*I))
