使用gcc -Wall编译含未初始化变量代码未触发警告的问题咨询

问题场景 #

以下代码使用gcc -Wall选项编译时未产生任何警告：

int main ()
{
    int c, i;


    for ( ; i < 10; i++ ) {
        c += i;
    }

    return c;
}

编译命令如下：

$ gcc -c -Wall 1.c
$

编译后无任何输出，预期应该触发warning: ‘i’ is used uninitialized in this function以及变量c的同类警告，请问原因是什么？

原因解析 #

• 旧版本的GCC（如4.x及更早版本）在默认无优化（-O0）的编译模式下，-Wall并不会启用未初始化变量的检测功能。这类检测需要依赖编译器的数据流分析，而无优化时编译器不会进行深度分析，因此无法识别出未初始化变量的问题。
• -Wall并不包含-Wuninitialized警告开关，你需要显式添加这个参数，或者使用-O1及以上的优化等级（开启优化后，编译器会触发数据流分析，从而检测到未初始化变量）。例如执行gcc -c -Wall -Wuninitialized 1.c或者gcc -c -Wall -O1 1.c，就能看到预期的警告信息。
• 在无优化模式下，编译器的基础代码分析可能会忽略部分逻辑明确的未初始化变量使用场景，只有开启优化后，编译器才会细致追踪变量的初始化状态，进而抛出警告。

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