c – 具有gcc -O2的奇怪整数行为

前端之家收集整理的这篇文章主要介绍了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",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永远不会为负,并在此之后进行优化.它不关心你溢出的价值,因为这是未定义的,它可以对待它,但它想要的.

猜你在找的C&C++相关文章