Searched refs:lessThanEqToOne (Results 1 – 1 of 1) sorted by relevance
125 Optional<DefinedSVal> lessThanEqToOne = in checkBind() local128 if (!lessThanEqToOne) { in checkBind()135 std::tie(stateLE, stateGT) = CM.assumeDual(state, *lessThanEqToOne); in checkBind()