Searched refs:indexTy (Results 1 – 1 of 1) sorted by relevance
289 QualType indexTy = Ctx.IntTy; in assumeInBound() local290 nonloc::ConcreteInt Min(BVF.getMinValue(indexTy)); in assumeInBound()294 cast<NonLoc>(Idx), Min, indexTy); in assumeInBound()301 Min, indexTy); in assumeInBound()