Question

#include <ios>
#include <iostream>
#include <map>

using namespace std;

int main() {
  ios_base::sync_with_stdio(false);
  map<int, int> v;
  int i;
  int t;
  while (cin >> i) {
    v[i] = t++;
  }
  auto mi = i;
  auto mt = t;
  for (const auto p : v) {
    if (p.second < mt) {
      mi = p.first;
      mt = p.second;
    }
  }
  cout << mi << '\n';
  return 0;
}

上述程序大量使用未初始化的变量t，但GCC不报告-Wall或-Wuninitialized。为什么会这样？

值得注意的是，Clang抓住了它：

main.cpp:13:12: warning: variable 't' is uninitialized when used here [-Wuninitialized]
    v[i] = t++;
           ^

使用g ++（GCC）7.2.1 20170915（Red Hat 7.2.1-2）。

使用过的clang版本4.0.1（标签/ RELEASE_401 / final）。

正如您在https://godbolt.org/g/kmYMC1中所看到的那样，GCC 7.2即使应该报告也不会报告。我将在GCC的问题跟踪器中创建一张票。

Answer 1

g ++的警告标志不会被称为-Wuninitialized：它被称为 -Wmaybe-uninitialized 。

此外，as Jonathan Wakely noted in his answer，只有在启用优化时，g ++才能检测未初始化变量的使用情况。

同时启用-Wmaybe-initalized和优化会产生预期警告：https://godbolt.org/g/3CZ6kT

请注意，-Wmaybe-initalized和-Wall默认启用-Wextra。

Answer 2

GCC只能在启用优化时检测未初始化的变量，因为跟踪变量值的逻辑是优化机制的一部分。

如果使用-O -Wall进行编译，则会收到警告：

<source>: In function 'int main()':
12 : <source>:12:13: warning: 't' may be used uninitialized in this function [-Wmaybe-uninitialized]
     v[i] = t++;
            ~^~
Compiler exited with result code 0

https://godbolt.org/g/327bsi

为什么GCC不报告未初始化的变量？

2 个答案: