Lines Matching defs:SR
426 const SubRegion *SR = cast<SubRegion>(R);
427 assert(SR->getAsOffset().getOffset() ==
428 SR->getSuperRegion()->getAsOffset().getOffset() &&
430 B = removeSubRegionBindings(B, SR);
1039 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR))
1040 IS.insert(SR->getSymbol());
1285 const SymbolicRegion *SR = cast<SymbolicRegion>(MR);
1286 T = SR->getSymbol()->getType();
1386 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R))
1387 RegionTy = SR->getSymbol()->getType();
1658 const SubRegion *SR = dyn_cast<SubRegion>(R);
1659 while (SR) {
1660 const MemRegion *Base = SR->getSuperRegion();
1678 SR = dyn_cast<SubRegion>(Base);
1913 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) {
1916 QualType T = SR->getSymbol()->getType();
1920 R = GetElementZeroRegion(SR, T);
2215 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR)) {
2216 if (SymReaper.isLive(SR->getSymbol()))
2217 AddToWorkList(SR, &C);
2219 Postponed.push_back(SR);
2296 if (const SymbolicRegion *SR = *I) {
2297 if (SymReaper.isLive(SR->getSymbol())) {
2298 changed |= AddToWorkList(SR);