Searched refs:stateOkay (Results 1 – 1 of 1) sorted by relevance
591 ProgramStateRef stateOverflow, stateOkay; in checkAdditionOverflow() local592 std::tie(stateOverflow, stateOkay) = in checkAdditionOverflow()595 if (stateOverflow && !stateOkay) { in checkAdditionOverflow()621 assert(stateOkay); in checkAdditionOverflow()622 state = stateOkay; in checkAdditionOverflow()