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 {

#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 != -2147483648positive number: 4297 != -2147483648positive number: 97-2147483648 == -2147483648negative number: -2147483648

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

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

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

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

解决方法 当你做 – (INT_MIN)你正在调用未定义的行为,因为该结果不能适合int.

gcc -O2注意到x永远不会为负,并在此之后进行优化.它不关心你溢出的价值,因为这是未定义的,它可以对待它,但它想要的.

总结

以上是内存溢出为你收集整理的c – 具有gcc -O2的奇怪整数行为全部内容，希望文章能够帮你解决c – 具有gcc -O2的奇怪整数行为所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。