Home | History | Annotate | Download | only in Core

Lines Matching refs:SR

565   if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R))
566     if (!visitor.VisitSymbol(SR->getSymbol()))
570   if (const SubRegion *SR = dyn_cast<SubRegion>(R)) {
571     const MemRegion *Super = SR->getSuperRegion();
578       if (!StoreMgr.scanReachableSymbols(state->getStore(), SR, *this))
641   if (const SymbolicRegion *SR = dyn_cast_or_null<SymbolicRegion>(R))
642     return addTaint(SR->getSymbol(), Kind);
684   if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(Reg))
685     return isTainted(SR->getSymbol(), K);
744   if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(Reg)) {
745     SymbolRef Sym = SR->getSymbol();