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