GCC 13启用-std=c2x时无法正确显示浮点数二进制表示？

结论 #

这是GCC的已知bug，已在后续版本中修复。

问题原因 #

GCC 13.1在启用-std=c2x标准时，对<math.h>提供的float_t类型的优化逻辑存在错误。当使用-O3等高级别优化编译时，编译器错误地将存储-248.75的float_t变量值优化为0，导致通过指针遍历输出的十六进制内容全为0。而GCC 13之前的版本、所有Clang版本，以及移除-std=c2x选项的GCC 13.1，都不存在这个优化错误。

修复情况 #

该bug已被GCC开发团队确认，并在GCC 13.2及更高版本中完成修复。使用相同的编译选项（-std=c2x -pedantic-errors -Wall -Wextra -O3 -lm）编译时，程序会正常输出符合x86小端序的预期结果。

临时规避方案 #

如果暂时无法升级GCC版本，可通过以下方式解决：

• 移除-std=c2x编译选项，改用旧标准（如-std=c17）；
• 降低优化级别，例如改用-O0或-O2；
• 用volatile修饰float_t变量，阻止编译器过度优化，示例代码如下：

  #include <math.h>
  #include <stdio.h>
  
  int main(void) {
      volatile float_t val = -248.75f;
      unsigned char* ptr = (unsigned char*)&val;
      for (int i = 0; i < sizeof(float_t); i++) {
          printf("%02X ", ptr[i]);
      }
      return 0;
  }
  

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