编程实现 带符号减法溢出判断

//带符号减法溢出判断 
#include<iostream>
using namespace std;
int sun_ok(int x,int y)
{
	int diff=x+~y+1;
	int x_neg=x>>31;
	int y_neg=y>>31;
	int d_neg=diff>>31;
	return !(~(x_neg^~y_neg)&&(x_neg^d_neg));
}
int main()
{
	int x,y;
	cin>>x>>y;
	if(sun_ok(x,y))
		cout<<"不溢出";
	else
		cout<<"溢出";
	return 0;
}