Searched refs:inBound (Results 1 – 1 of 1) sorted by relevance
340 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT, newIdx.castAs<NonLoc>(), in assumeInBound() local342 if (inBound.isUnknownOrUndef()) in assumeInBound()347 return CM.assume(this, inBound.castAs<DefinedSVal>(), Assumption); in assumeInBound()