Fefes Blog

Fragen? Antworten! Siehe auch: Alternativlos

Thu Apr 16 2015

• [l] Übrigens, falls sich jemand ärgert, dass gcc und clang keine Warnung für Variablen haben, die deklariert und beschrieben aber nie gelesen werden: Bei clang gibt es das optional als Modul für statische Analyse. Das besteht schön diskordianisch aus zwei Skripten, eines in Perl zum Einsammeln der Daten, und eines in Python zum Anzeigen der Fehler (das startet einen Webserver auf localhost, der im browser dann den Code mit Annotationen anzeigt). Ist eigentlich ziemlich cool.

  Der meldet auch Schreibzugriffe, die gleich wieder überschrieben werden, ohne dass dazwischen jemand liest.

  Mir ist ja nicht klar, wieso man dafür statische Analyse braucht und der Compiler nicht gleich was sagt. Aber hey, solange ich überhaupt an die Warnungen rankomme, ist es mir recht.

  Ich finde ja: Immer wenn der Compiler ein Stück Code wegoptimiert, dann sollte er eine Warnung anzeigen. Der Programmierer hat sich wahrscheinlich was dabei gedacht, den Code da hin zu tun, und würde vermutlich gerne informiert werden, wenn es wegoptimiert wird.

  Update: Hmm, das stimmt gar nicht. gcc warnt bei unbenutzten Variablen, und bei Variablen, die nur geschrieben werden. Die Fälle, die die statische Analyse für clang zusätzlich findet, sind sowas wie: Variable geht out of scope, niemand hält einen Zeiger, und der letzte Zugriff war ein Schreibzugriff. Dead Store ist der Term dafür in der Compilerwelt.