Lines Matching refs:SymbolicRegion
880 const SymbolicRegion *R =
881 dyn_cast_or_null<SymbolicRegion>(RetVal.getAsRegion());
1127 const SymbolicRegion *SrBase = dyn_cast<SymbolicRegion>(R->getBaseRegion());
1913 if (const SymbolicRegion *BMR =
1914 dyn_cast<SymbolicRegion>(MR->getBaseRegion()))
