Searched refs:newIdx (Results 1 – 1 of 1) sorted by relevance
335 SVal newIdx = svalBuilder.evalBinOpNN(this, BO_Add, in assumeInBound() local337 if (newIdx.isUnknownOrUndef()) in assumeInBound()349 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT, newIdx.castAs<NonLoc>(), in assumeInBound()