c – 具有gcc -O2的奇怪整数行为
发布时间:2020-12-16 07:49:37 所属栏目:百科 来源:网络整理
导读:#include stdio.h#include limits.hvoid sanity_check(int x){ if (x 0) { x = -x; } if (x == INT_MIN) { printf("%d == %dn",x,INT_MIN); } else { printf("%d != %dn",INT_MIN); } if (x 0) { printf("negative number: %dn",x); } else { printf("pos
#include <stdio.h> #include <limits.h> void sanity_check(int x) { if (x < 0) { x = -x; } if (x == INT_MIN) { printf("%d == %dn",x,INT_MIN); } else { printf("%d != %dn",INT_MIN); } if (x < 0) { printf("negative number: %dn",x); } else { printf("positive number: %dn",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永远不会为负,并在此之后进行优化.它不关心你溢出的价值,因为这是未定义的,它可以对待它,但它想要的. (编辑:李大同) 【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容! |