Lines Matching refs:region
69 const MemRegion *region) {
71 switch (region->getKind()) {
79 region = cast<SubRegion>(region)->getSuperRegion();
89 // some new logic here that reasons directly about memory region extents.
94 // memory access is within the extent of the base region. Since we
95 // have some flexibility in defining the base region, we can achieve
109 // before the first valid offset in the memory region.
254 /// Compute a raw byte offset from a base region. Used for array bounds
260 const MemRegion *region = location.getAsRegion();
263 while (region) {
264 switch (region->getKind()) {
266 if (const SubRegion *subReg = dyn_cast<SubRegion>(region)) {
274 const ElementRegion *elemReg = cast<ElementRegion>(region);
296 region = elemReg->getSuperRegion();
