Searched refs:superReg (Results 1 – 1 of 1) sorted by relevance
573 const auto *superReg = cast<SubRegion>(ER->getSuperRegion()); in CheckLocation() local575 getDynamicExtent(state, superReg, C.getSValBuilder()); in CheckLocation()1195 const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion()); in isFirstBufInBound() local1196 DefinedOrUnknownSVal SizeDV = getDynamicExtent(State, superReg, SB); in isFirstBufInBound()