Lines Matching refs:SymbolicRegion
769 const SymbolicRegion *R =
770 dyn_cast_or_null<SymbolicRegion>(RetVal.getAsRegion());
1017 const SymbolicRegion *SrBase = dyn_cast<SymbolicRegion>(R->getBaseRegion());
1735 if (const SymbolicRegion *BMR =
1736 dyn_cast<SymbolicRegion>(MR->getBaseRegion()))
