Searched refs:newIdx (Results 1 – 1 of 1) sorted by relevance
350 SVal newIdx = svalBuilder.evalBinOpNN(this, BO_Add, in assumeInBoundDual() local352 if (newIdx.isUnknownOrUndef()) in assumeInBoundDual()364 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT, newIdx.castAs<NonLoc>(), in assumeInBoundDual()