Home | History | Annotate | Download | only in Core

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