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