Comment by dgellow

I see, so checking for the overflow flag wouldn't be good as you now have your program in an undefined state.