我怎样才能让 gcc 警告我 "int i = i;"

How can I get gcc to warn me about "int i = i;"

一个简单的程序:

int main()
{
    long i = i;

    return 0;
}

作为 C 编译不会出现错误和警告。

$ gcc -Wall -Wextra -pedantic 1.c

编译为C++给出警告:

$ c++ -Wall -Wextra -pedantic 1.c
1.c: In function ‘int main()’:
1.c:3:7: warning: ‘i’ is used uninitialized in this function [-Wuninitialized]
  long i = i;

在这两种情况下,变量 i 似乎都是 0,尽管在 c++ 中它可能未初始化。我实际上在我的一个函数中犯了这样的错字,很难找到它。我该怎么做才能避免这种情况?我希望至少有一个警告。此外,Clang 在任何一种情况下(c 或 c++)都不会给出任何警告。标准中是否有特定部分说明了此行为?

编辑:尝试过类似的东西:

$ cat 1.c
int main(void)
{
    int k = k + 0;
    int i = i + 1;
    return 0;
}

仅针对 "i".

生成警告(在 C 中)
$ gcc -Wall -Wextra 1.c
1.c: In function ‘main’:
1.c:4:6: warning: ‘i’ is used uninitialized in this function [-Wuninitialized]
  int i = i + 1;

基本上是:

int i;
i = i;

其中i是一个未初始化的值。

对于GCC编译C程序,需要添加编译标志-Winit-self。 (您还需要 -Wall-Wuninitialized,见下文。)对于 GCC 编译 C++ 程序,此标志由 -Wall 隐含,但对于 C 需要明确指定;它也不属于 -Wextra

对于 Clang,情况稍微有趣一些。在 OP 的片段中,Clang 不产生任何诊断。但是,下面的 GCC 手册中提供的代码片段略有不同,因此提供了诊断:

int f() {
  int i = i;
  return i;
}

不同之处在于,在上面的代码片段中,实际使用了 i 的(未初始化的)值。显然,在原始代码中,Clang 检测到该变量无用,并在应用诊断之前将其作为死代码消除。

在 Clang 中,诊断由 -Wuninitialized 触发,与 GCC 中一样由 -Wall 启用。


以下是 GCC 手册的摘录:

-Winit-self (C, C++, Objective-C and Objective-C++ only)

Warn about uninitialized variables that are initialized with themselves. Note this option can only be used with the -Wuninitialized option.

For example, GCC warns about i being uninitialized in the following snippet only when -Winit-self has been specified:

        int f()
          {
            int i = i;
            return i;
          }

This warning is enabled by -Wall in C++.

如摘录所示,-Wuninitialized 也是必需的。在 C 和 C++ 中,-Wall 表示 -Wuninitialized。但是,请注意,除非还请求了某些优化级别,否则不会检测到许多未初始化的使用。 (据我所知,这不适用于-Winit-self。它可以在不优化的情况下检测到。)


令人恼火的是,当您取消将问题标记为重复问题时,previously-marked 重复问题就会消失。我取消标记它是因为 none 的重复项实际上回答了 body 中的问题;我也编辑了标题。

作为参考,这里是原始副本,您可能会感兴趣:

-Wall -Winit-self 的组合似乎添加了这个诊断:

$ gcc -Wall      -Winit-self t.c
t.c: In function ‘main’:
t.c:3:10: warning: ‘i’ is used uninitialized in this function [-Wuninitialized]
     long i = i;
          ^