Lines Matching refs:SR
613 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R))
614 if (!visitor.VisitSymbol(SR->getSymbol()))
618 if (const SubRegion *SR = dyn_cast<SubRegion>(R)) {
619 const MemRegion *Super = SR->getSuperRegion();
626 if (!StoreMgr.scanReachableSymbols(state->getStore(), SR, *this))
689 if (const SymbolicRegion *SR = dyn_cast_or_null<SymbolicRegion>(R))
690 return addTaint(SR->getSymbol(), Kind);
732 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(Reg))
733 return isTainted(SR->getSymbol(), K);
792 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(Reg)) {
793 SymbolRef Sym = SR->getSymbol();