#include <stdio.h>
#include <limits.h>

void sanity_check(int x)
{
    if (x < 0)
    {
        x = -x;
    }
    if (x == INT_MIN)
    {
        printf("%d == %d\n",x,INT_MIN);
    }
    else
    {
        printf("%d != %d\n",INT_MIN);
    }
    if (x < 0)
    {
        printf("negative number: %d\n",x);
    }
    else
    {
        printf("positive number: %d\n",x);
    }
}

int main(void)
{
    sanity_check(42);
    sanity_check(-97);
    sanity_check(INT_MIN);
    return 0;
}

当我用gcc wtf.c编译上面的程序时,我得到了预期的输出：

42 != -2147483648
positive number: 42
97 != -2147483648
positive number: 97
-2147483648 == -2147483648
negative number: -2147483648

但是,当我用gcc -O2 wtf.c编译程序时,我得到一个不同的输出：

42 != -2147483648
positive number: 42
97 != -2147483648
positive number: 97
-2147483648 != -2147483648
positive number: -2147483648

注意最后两行.这里有什么事？ gcc 4.6.3优化有点太热了吗？

(我也用g 4.6.3测试了,我观察到同样的奇怪的行为,因此C标签.)