Searched refs:stateOverflow (Results 1 – 1 of 1) sorted by relevance
679 ProgramStateRef stateOverflow, stateOkay; in checkAdditionOverflow() local680 std::tie(stateOverflow, stateOkay) = in checkAdditionOverflow()683 if (stateOverflow && !stateOkay) { in checkAdditionOverflow()685 emitAdditionOverflowBug(C, stateOverflow); in checkAdditionOverflow()