Searched refs:superReg (Results 1 – 1 of 1) sorted by relevance
296 const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion()); in CheckLocation() local299 svalBuilder.convertToArrayIndex(superReg->getExtent(svalBuilder)); in CheckLocation()880 const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion()); in IsFirstBufInBound() local882 svalBuilder.convertToArrayIndex(superReg->getExtent(svalBuilder)); in IsFirstBufInBound()