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