[prodigal_erik]

Say you have a register whose range is -9..+9. (5-1)+5 doesn't trap but (5+5)-1 does.

[kazinator]

I understand how to make an example of this; the question is why should (5-1)+5 trap, just because (5+5)-1 does.