Clang启用-ffast-math时是否会优化掉安静NaN与浮点数的比较？

你遇到的这个现象其实完全符合Clang在-ffast-math下的优化逻辑，我来给你拆解背后的原因：

先把你的测试代码贴出来方便对照：

#include <cassert>
#include <limits>

int main() {
    static_assert(std::numeric_limits<float>::has_quiet_NaN);
    static_assert(!(std::numeric_limits<float>::quiet_NaN() >= 0.1));
    assert(std::numeric_limits<float>::has_quiet_NaN);
    return std::numeric_limits<float>::quiet_NaN() >= 0.1;
}

为什么整个程序会被优化成空指令？ #

-ffast-math是一组浮点数优化选项的集合，核心是让编译器放弃严格遵循IEEE 754浮点数标准，其中包含了一个关键假设：所有浮点数操作数都是有限的（即不是NaN，也不是无穷大）。

基于这个假设，编译器会直接忽略所有涉及NaN的运行时逻辑——因为它默认你的代码里不会出现NaN。所以你写的std::numeric_limits<float>::quiet_NaN() >= 0.1这个比较表达式，在-ffast-math的规则下会被视为“不可能需要处理的情况”，连带着整个main函数的逻辑都被彻底优化掉了。

为什么返回值是随机的？ #

当main函数被优化得空空如也时，程序的返回值就变成了当前CPU寄存器或者栈上的残留垃圾值——这就是你有时候拿到1，有时候拿到80的原因，这些数字完全没有实际意义，只是之前操作留下的随机数据。

那static_assert为什么没被影响？ #

static_assert是编译期检查，它只负责在编译阶段确认当前平台支持安静NaN，不会被运行时的-ffast-math优化规则干扰。但运行时的assert和比较逻辑就不一样了，编译器会直接把它们删掉，因为-ffast-math已经让它默认不会遇到NaN了。

总结一下 #

这个行为是完全符合预期的。如果你需要保留NaN相关的比较逻辑，要么不要使用-ffast-math，要么可以用-fno-finite-math-only这个子选项，单独禁用“假设浮点数都是有限数”的优化，这样就能在保留其他-ffast-math优化的同时，正确处理NaN的比较了。

内容来源于stack exchange