为何g++ 11对指针强制转换代码触发maybe-uninitialized警告？

问题背景 #

将编译器从Ubuntu 18.04的g++ v7.5升级至Ubuntu 22.04的g++ v11.2后，以下代码在使用-O3 -Wall -Werror编译时触发maybe-uninitialized警告，导致构建失败：

#include <cstdint>

void f(std::uint16_t v)
{
  (void) v;
}

int main()
{
    unsigned int pixel = 0;
    std::uint16_t *f16p = reinterpret_cast<std::uint16_t*>(&pixel);
    f(*f16p);
}

该代码是真实场景的简化版本，请问这是否属于GCC Bug #102329，或是有其他解释？

结论与分析 #

这确实属于GCC Bug #102329的范畴。

原因说明 #

GCC 11及后续版本在-O3优化级别下，对reinterpret_cast的指针解引用初始化检查出现了误判：

• 代码中pixel已明确初始化为0，通过reinterpret_cast转换为std::uint16_t*后解引用，本质上是读取pixel的低16位（或高16位，取决于系统端序），但编译器的静态分析未识别到这一点，错误判定*f16p未初始化。
• Bug #102329正是记录了GCC在处理跨类型指针转换后的解引用操作时，误报未初始化变量的问题，该问题存在于GCC 11、12版本中，后续版本已修复。

临时规避方案 #

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

• 禁用特定警告：编译时针对性添加-Wno-maybe-uninitialized（建议仅对相关代码或目标启用，避免全局禁用所有该类警告）
• 显式赋值中转：将解引用操作改为显式赋值，例如std::uint16_t val = *f16p; f(val);，帮助编译器识别变量已被初始化
• 用volatile修饰pixel：抑制编译器对该变量读取的激进优化，但此操作可能影响性能，需谨慎使用

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