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