Lines Matching refs:SR
692 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR))
693 IS.insert(SR->getSymbol());
952 const MemRegion *SR = BaseRegion;
953 while (const TypedRegion *TSR = dyn_cast_or_null<TypedRegion>(SR)) {
982 SR = R->getSuperRegion();
1052 const SymbolicRegion *SR = cast<SymbolicRegion>(MR);
1053 T = SR->getSymbol()->getType(Ctx);
1362 if (const SubRegion *SR = dyn_cast<SubRegion>(superR)) {
1363 superR = SR->getSuperRegion();
1574 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) {
1577 QualType T = SR->getSymbol()->getType(Ctx);
1581 R = GetElementZeroRegion(SR, T);
1902 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR)) {
1903 if (SymReaper.isLive(SR->getSymbol()))
1904 AddToWorkList(SR, &C);
1906 Postponed.push_back(SR);
1990 if (const SymbolicRegion *SR = *I) {
1991 if (SymReaper.isLive(SR->getSymbol())) {
1992 changed |= AddToWorkList(SR);