Home | History | Annotate | Download | only in Checkers

Lines Matching refs:superReg

288   const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion());
291     svalBuilder.convertToArrayIndex(superReg->getExtent(svalBuilder));