含infinity的变量与infinity不相等的GCC编译异常排查

核心诱因：-ffast-math编译选项的破坏性影响 #

你使用的编译选项中，-ffast-math（包括包含它的-Ofast）是导致所有异常的根源。这个选项为了提升浮点运算性能，完全抛弃了IEEE 754浮点数标准的严格兼容性，关键影响包括：

• 跳过IEEE 754对无穷大、NaN的严格比较规则
• 允许编译器对浮点运算进行语义级别的激进优化，甚至篡改运算逻辑
• 让isinf()等标准库函数失去对特殊浮点值的检测能力（编译器会假设浮点变量不会出现无穷大/NaN）

现象拆解 #

1. OnlineGDB中字节相同但isinf返回0：
   内存中存储的字节确实是标准无穷大的格式，所以printf能直接读取字节并输出inf；但-ffast-math让GCC优化了isinf()调用，编译器直接假设变量不会是无穷大，硬编码返回0。
2. 本地编译时==比较失效：
   -ffast-math会让编译器无视IEEE 754的浮点数比较规则，甚至直接优化掉“无意义”的比较逻辑，导致计算出的无穷大与标准无穷大的相等判断返回0。

解决方案 #

• 若需要严格遵循IEEE 754标准，直接移除-ffast-math和-Ofast，改用-O2或-O3这类不破坏浮点数兼容性的优化选项。
• 若必须保留部分性能优化且要处理特殊浮点值，可以尝试单独禁用-ffast-math的子规则（如-ffast-math=no-finite-math-only），但不同GCC版本支持差异较大，最稳妥的方式还是移除-ffast-math相关选项。

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