Searched refs:inBound (Results 1 – 1 of 1) sorted by relevance
324 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT, in assumeInBound() local327 if (inBound.isUnknownOrUndef()) in assumeInBound()332 return CM.assume(this, cast<DefinedSVal>(inBound), Assumption); in assumeInBound()