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