加入收藏 | 设为首页 | 会员中心 | 我要投稿 李大同 (https://www.lidatong.com.cn/)- 科技、建站、经验、云计算、5G、大数据,站长网!
当前位置: 首页 > 百科 > 正文

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永远不会为负,并在此之后进行优化.它不关心你溢出的价值,因为这是未定义的,它可以对待它,但它想要的.

(编辑:李大同)

【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容!

    推荐文章
      热点阅读