C语言中，整型变量x小于0，是否可知x*2也小于0

假定计算机中32位的，用2的补码表示整数，若x<0，则x*2<0不一定成立，例如：当x为整型值的最小时就不成立。

程序如下：

	#include<stdio.h>
	int  main()
	{
		int   x= -4292967295;
		if(2*x<0)
			printf("2*x<0\n");
		else
			printf("2*x>0\n");
		return 0;
	}

程序输出    2*x>0