Warum meldet GCC keine nicht initialisierte Variable?

Question

Das oben erwähnte Programm verwendet stark eine nicht initialisierte Variable t, aber GCC meldet es nicht mit -Wall oder -Wuninitialized. Wieso ist es so?

Es ist erwähnenswert, dass Clang es fängt:

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

Gebraucht g ++ (GCC) 7.2.1 20.170.915 (Red Hat 7.2.1-2).

Verwendete Klangversion 4.0.1 (tags/RELEASE_401/final).

---

Wie Sie in https://godbolt.org/g/kmYMC1 GCC 7.2 sehen können es nicht berichtet, auch wenn es sein sollte. Ich werde ein Ticket im GCC-Tracker anlegen.

Answer 1

GCC kann nur nicht initialisierte Variablen erkennen, wenn die Optimierung aktiviert ist, da die Logik zum Verfolgen der Werte von Variablen Teil der Optimierungsmaschinerie ist.

Wenn Sie mit -O -Wall Sie eine Warnung kompilieren:

<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

Answer 2

g ++ 's Warnung Flag nicht -Wuninitialized genannt: es -Wmaybe-uninitialized genannt wird.

Auch as Jonathan Wakely noted in his answer, g ++ kann die Verwendung von nicht initialisierten Variablen nur erkennen, wenn Optimierungen aktiviert sind. beide aktiviert ist mit https://godbolt.org/g/3CZ6kT

Beachten Sie, dass -Wmaybe-initalized standardmäßig -Wall und -Wextra:

Aktivieren beide -Wmaybe-initalized und Optimierungen erzeugt die erwartete Warnung.