c - 为什么这个小程序输出True？是 GCC 的溢出保护吗？

Question

#include<stdio.h>

void main(){

    int x = 0x80000000;
    if((x-1)<1)
        printf("True");
    else
        printf("False");

}

这是csapp实践2.44，如果这是编译器的操作，怎么关闭呢？

Answer 1

假设 int是 32 位，常量 0x80000000超出 int 的范围并具有类型 unsigned int .用于初始化 int 时它以实现定义的方式进行转换。对于 gcc，该转换导致 x具有值 -231(其表示恰好是 0x80000000 )，这是它可以保存的最小值。
然后当您尝试计算 x-1 时，它会导致有符号整数溢出，即 undefined behavior .例如，如果我在 gcc 4.8.5 下使用 -O0 编译此代码或 -O1我得到“假”作为输出，如果我用 -O2 编译或 -O3它输出“真”。