Searched refs:willOverflow (Results 1 – 1 of 1) sorted by relevance
676 SVal willOverflow = svalBuilder.evalBinOpNN(state, BO_GT, left, in checkAdditionOverflow() local681 state->assume(willOverflow.castAs<DefinedOrUnknownSVal>()); in checkAdditionOverflow()