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