在《深入理解计算机系统.第二版》中的练习题2.31
/* Determine whether argument can be added without overflow */
/* WARNING: This code is buggy .*/

int tadd_ok(int x, int y)
{
   int sum = x+y;
   return (sum -x == y)&&(sum - y == x);
}

麻烦各位大虾指点一下这段代码哪有bug，我实在是没看出来。小弟不胜感激！！

是不是因为，当x+y的值超出了int所能表示的范围的时候，会导致sum溢出，
这样，sum-x就和y不相等了……
因此函数返回值就不是预想的那样了……

这函数的作用是检测x+y是否会溢出，如果不会溢出就返回1，溢出就返回0

但是不知道bug在哪

int sum = x+y;

int sum;
int x,y;
int有自己的取值范围，sum=x+y在没有溢出的情况下是成立的。