GCC使用-Os编译时误报'x'未初始化警告的解决咨询

问题复现 #

代码示例：

// 编译命令: g++ -Wmaybe-uninitialized -Os -c
extern void use_x(int x);
extern int get_x(bool &have_x) __attribute__((access(write_only,1)));

void fn(int a)
{
    bool have_x;
    int x;

    if (a >= 10) {
        have_x = a >= 20;
        if (have_x)
            x = 3;
    } else {
        x = get_x(have_x);
    }

    if (have_x) {
        use_x(x); // 此处触发警告
    } else {
        // use_x(x); // 此处x确实未初始化
    }
}

注：引入变量a是为避免常量值干扰编译逻辑。

编译时执行命令 g++ -Wmaybe-uninitialized -Os -c filename.c，会出现以下误报：

filename.cpp: In function 'void fn(int)':
filename.cpp:19:17: warning: 'x' may be used uninitialized in this function [-Wmaybe-uninitialized]

实际逻辑中have_x为true时x已完成初始化，且该问题在GCC 4.7.2和10.2.1版本中均存在，属于-Os优化级别下的数据流分析误判。

无额外逻辑代码的解决方案 #

以下方法无需修改业务逻辑代码即可消除警告：

1. 针对目标函数精准禁用警告
   使用GCC的诊断控制指令，仅对该函数关闭-Wmaybe-uninitialized警告，不影响其他代码：

   #pragma GCC diagnostic push
   #pragma GCC diagnostic ignored "-Wmaybe-uninitialized"
   void fn(int a)
   {
       // 原函数代码完全保留
   }
   #pragma GCC diagnostic pop
   

2. 调整编译选项优化分析逻辑
   添加-fno-guess-branch-probability选项关闭分支概率猜测，让-Os下的数据流分析更精准，编译命令改为：

   g++ -Wmaybe-uninitialized -Os -fno-guess-branch-probability -c filename.c
   

3. 全局禁用警告（不推荐）
   若该文件中此类误报较多，可在编译命令中加入-Wno-maybe-uninitialized，但这会关闭整个文件的所有maybe-uninitialized警告，可能遗漏真正的未初始化问题。

内容的提问来源于stack exchange，提问作者David G.