Lines Matching refs:SR
554 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R))
555 if (!visitor.VisitSymbol(SR->getSymbol()))
559 if (const SubRegion *SR = dyn_cast<SubRegion>(R)) {
560 const MemRegion *Super = SR->getSuperRegion();
567 if (!StoreMgr.scanReachableSymbols(state->getStore(), SR, *this))
630 if (const SymbolicRegion *SR = dyn_cast_or_null<SymbolicRegion>(R))
631 return addTaint(SR->getSymbol(), Kind);
673 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(Reg))
674 return isTainted(SR->getSymbol(), K);
738 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(Reg)) {
739 SymbolRef Sym = SR->getSymbol();