Searched refs:inBound (Results 1 – 1 of 1) sorted by relevance
364 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT, newIdx.castAs<NonLoc>(), in assumeInBoundDual() local366 if (inBound.isUnknownOrUndef()) in assumeInBoundDual()371 return CM.assumeDual(this, inBound.castAs<DefinedSVal>()); in assumeInBoundDual()