With two's complement wraparound being defined behaviour, you have easy ways of checking for wraparound - checking the signs of inputs vs outputs.

In any case, I'm bored of discussing this with people who haven't studied the problem.