如题，此篇文章是描述C语言中的整数谜题。

假定机器字长是32位的，用2的补码表示整数。对以下C表达式，请问它们在所有情况下都正确吗？如果不是，请给出反例。

初始化：

int x = foo();
int y = bar();
unsigned ux = x;
unsigned uy = y;

1. 若x < 0, 则x * 2 < 0

2. ux >= 0

3. 若x & 7 == 7， 则(x << 30) < 0

4. ux > -1

5. 若x > y, 则-x < -y

6. x * x >= 0

7. 若x > 0 && y > 0, 则x + y > 0

8. 若x >= 0, 则-x <= 0

9. 若x <= 0, 则-x >= 0

答案如下：

1. 错。当x = INT_MIN

2. 正确。

3. 正确。

4. 错。-1被转换成UINT_MAX

5. 错。当x = -1, y = INT_MIN

6. 错。当x = 65535

7. 错。INT_MAX 和 INT_MAX

8. 正确。

9. 错。INT_MIN