Gcc не может предупредить о неинициализированной переменной

Ответ 1

Похоже, вы не можете - см. этот отчет об ошибках. (И этот, который отмечен как обман этого - он имеет идентичный тестовый пример для вашего.) Поскольку это выглядит так, что ошибка с корневой причиной почти 10 лет, казалось бы, это непростая задача. Фактически, вторая ошибка, с которой я связан, содержит фразу "Никогда не будет исправлена" в обсуждении, так что это не выглядит хорошо.

Если это действительно важно для вас, clang делает это с помощью -Wsometimes-uninitialized, который включен в -Wall:

a.c:3:7: warning: variable 'a' is used uninitialized whenever 'if' condition is
      false [-Wsometimes-uninitialized]
  if (b)
      ^
a.c:5:10: note: uninitialized use occurs here
  return a;
         ^
a.c:3:3: note: remove the 'if' if its condition is always true
  if (b)
  ^~~~~~
a.c:2:8: note: initialize the variable 'a' to silence this warning
  int a;
       ^
        = 0
1 warning generated.

Ответ 2

Проблема в том, что gcc не может знать, что вы вызовете функцию с нулевым аргументом. В этом случае тот факт, что вы тестируете, может быть хорошим намеком на то, что вы намереваетесь иногда делать это, но общий случай намного сложнее. Рассмотрим:

int foo(int b) {
  int a;
  switch(b) {
  case 1:
    a = 1;
    break;
  case 2:
    a = 0;
    break;
  case 3:
    a = 2;
    break;
  }
  return a;
}

Это была бы вполне разумная функция, контракт интерфейса которой заключается в том, что вы передаете только 1, 2 или 3, и любое "неинициализированное" предупреждение в этом случае будет ложным и тем самым уменьшит отношение сигнал/шум генерации предупреждений компилятора.

Я согласен, было бы неплохо, если бы компиляторы дали лучшую диагностику для подобных вещей, но это нелегко, и предупреждения, которые могут иметь ложные срабатывания, всегда являются деликатным балансирующим действием между загромождением кода с обходными решениями для предупреждений и невозможностью поймать ошибки.

Ответ 3

uninitializedTest.c:

#include <stdio.h>
#include <stdlib.h>


int main(void)
{
   int result;
   if(rand())
      result = 1;

   printf("%d\n", result);

   return 0;
}

Вот несколько тестовых прогонов:

$ avr-gcc -Os -Wuninitialized -o uninitializedTest uninitializedTest.c 
$ gcc-4.2 -Os -Wuninitialized -o uninitializedTest uninitializedTest.c 
$ gcc-4.0 -Os -Wuninitialized -o uninitializedTest uninitializedTest.c 
uninitializedTest.c: In function ‘main’:
uninitializedTest.c:32: warning: ‘result’ may be used uninitialized in this function

$ gcc-4.2 -Os -Wmaybe-uninitialized -o uninitializedTest uninitializedTest.c 
cc1: error: unrecognized command line option "-Wmaybe-uninitialized"
$ gcc-4.2 -Os -Wuninitialized -o uninitializedTest uninitializedTest.c 
$ gcc-mp-4.8 -Os -Wuninitialized -o uninitializedTest uninitializedTest.c 
$ gcc-mp-4.8 -Os -Wmaybe-uninitialized -o uninitializedTest uninitializedTest.c 

avr-gcc равно 4.8 (также не обнаружено avr-gcc-4.4.5)

Похоже, что gcc-4.0 имеет возможность распознать проблему.

$ gcc-4.0 -v
Configured with: /var/tmp/gcc/gcc-5493~1/src/configure --disable-checking -enable-werror --prefix=/usr --mandir=/share/man --enable-languages=c,objc,c++,obj-c++ --program-transform-name=/^[cg][^.-]*$/s/$/-4.0/ --with-gxx-include-dir=/include/c++/4.0.0 --with-slibdir=/usr/lib --build=i686-apple-darwin9 --program-prefix= --host=powerpc-apple-darwin9 --target=powerpc-apple-darwin9
Thread model: posix
gcc version 4.0.1 (Apple Inc. build 5493)

Итак... было ли это специфическим для Apple добавлением, на которое у них есть лицензия? Или, может быть, почему Apple отходит от open-source... Может быть, они исправили десятилетнюю ошибку, и сообщество gcc не приняло ее?

Ответ 4

Вам нужно включить какие-либо оптимизации. Например, перекомпилируйте свой пример с помощью -O2, и появится предупреждение.

Поскольку для этого требуется анализ путей кода, и это довольно дорогостоящее вычисление, GCC разрешает его только при запросе оптимизации кода.