无符号N位数A,B,C。
有C = A + B。
判断C是否溢出的方法如下:
if (((A | B) &
~C) >> N-1) > 0)
{
溢出;
}
else
{
未溢出;
}
注:“~C” 是给C取反