c++ - gcc -O2的奇怪整数行为

#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", x, 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++标记。)

最佳答案

当您执行-(INT_MIN)时，您正在调用未定义的行为，因为该结果不适合int。

gcc -O2注意到x永远不会为负，并且此后进行优化。不必担心您溢出了该值，因为该值是未定义的，并且可以根据需要对其进行处理。