Searched refs:greaterThanEqualToZero (Results 1 – 1 of 1) sorted by relevance
89 Optional<DefinedSVal> greaterThanEqualToZero = in checkBind() local92 if (!greaterThanEqualToZero) { in checkBind()99 std::tie(stateGE, stateLT) = CM.assumeDual(state, *greaterThanEqualToZero); in checkBind()