补码运算溢出判断