为何x=INT_MIN时(x<y)==(-x>-y)在GCC编译下输出为1？

• 首先明确：INT_MIN作为int类型的最小值（32位环境下为-2147483648），对其取负操作-x会触发有符号整数溢出，而C语言标准明确规定这种溢出属于未定义行为——编译器可以自由处理这种情况，无需遵循常规的补码运算规则。
• 从纯数学逻辑来看，x < y与-x > -y是等价命题，但这仅在整数运算无溢出的前提下成立。

你的代码不管用gcc -o还是gcc -O0编译都输出1，原因在于：
编译器会基于“有符号整数不会发生溢出”的假设对表达式进行优化。它直接判定(x < y) == (-x > -y)是恒真的逻辑，因此编译后直接输出1，完全跳过了实际的溢出计算和比较步骤。

注意：-O0只是关闭了大部分性能优化，但编译器仍会执行基于语言标准规则的基础优化。对于未定义行为的场景，标准允许编译器忽略这种异常情况，直接按照正常数学逻辑处理代码。

内容的提问来源于stack exchange，提问作者emsa