Nützliche GCC-Flags für C.

Welche anderen wirklich nützlichen, aber weniger bekannten Compiler-Flags gibt es neben dem Setzen -Wallund Setzen -std=XXXfür die Verwendung in C?

Ich bin besonders an zusätzlichen Warnungen interessiert und / oder daran, Warnungen in einigen Fällen in Fehler umzuwandeln, um versehentliche Typinkongruenzen absolut zu minimieren.

Einige der -fOptionen zur Codegenerierung sind interessant:

• Die -ftrapvFunktion bewirkt, dass das Programm bei einem vorzeichenbehafteten Ganzzahlüberlauf abgebrochen wird (formal "undefiniertes Verhalten" in C).

• -fverbose-asmist nützlich, wenn Sie mit kompilieren -S, um die Assembly-Ausgabe zu untersuchen - es werden einige informative Kommentare hinzugefügt.

• -finstrument-functions Fügt Code hinzu, um vom Benutzer bereitgestellte Profilierungsfunktionen an jedem Funktionsein- und -ausgangspunkt aufzurufen.

Hier sind meine:

• -Wextra, -Wall: wesentlich.
• -Wfloat-equal: nützlich, da das Testen von Gleitkommazahlen auf Gleichheit normalerweise schlecht ist.
• -Wundef: warnen, wenn eine nicht initialisierte Kennung in einer #ifDirektive ausgewertet wird .
• -Wshadow: warnen, wann immer eine lokale Variable eine andere lokale Variable, einen Parameter oder eine globale Variable beschattet oder wann immer eine integrierte Funktion beschattet wird.
• -Wpointer-arith: warnen, wenn etwas von der Größe einer Funktion oder von abhängt void.
• -Wcast-align: warnen, wenn ein Zeiger so geworfen wird, dass die erforderliche Ausrichtung des Ziels erhöht wird. Zum Beispiel warnen , wenn ein char *auf ein gegossen wird int *auf Maschinen , bei denen ganzen Zahlen können nur auf zwei oder vier Byte - Grenzen zugegriffen werden.
• -Wstrict-prototypes: warn, wenn eine Funktion ohne Angabe der Argumenttypen deklariert oder definiert wird.
• -Wstrict-overflow=5: warnt vor Fällen, in denen der Compiler unter der Annahme optimiert, dass kein signierter Überlauf auftritt. (Der Wert 5 ist möglicherweise zu streng, siehe Handbuchseite.)
• -Wwrite-strings: Geben Sie Zeichenfolgenkonstanten die const char[Typlänge an,] damit beim Kopieren der Adresse von eins in einen Nichtzeiger const char *eine Warnung angezeigt wird.
• -Waggregate-return: warnen, wenn Funktionen definiert oder aufgerufen werden, die Strukturen oder Gewerkschaften zurückgeben.
• -Wcast-qual: warnen, wann immer ein Zeiger gesetzt wird, um ein Typqualifikationsmerkmal aus dem Zieltyp ^* zu entfernen .
• -Wswitch-default: warnen, wenn eine switchAnweisung keinen defaultFall hat ^* .
• -Wswitch-enum: warnen, wenn eine switchAnweisung einen Index vom Typ Aufzählung hat und casefür einen oder mehrere der genannten Codes dieser Aufzählung ^* kein Index vorhanden ist .
• -Wconversion: warnt vor impliziten Konvertierungen, die einen Wert ändern können ^* .
• -Wunreachable-code: warnen, wenn der Compiler feststellt, dass Code niemals ausgeführt wird ^* .

Die mit ^* gekennzeichneten geben manchmal zu viele falsche Warnungen aus, daher verwende ich sie nach Bedarf.

Verwenden Sie immer -Ooder über ( -O1, -O2, -Os, etc.). Auf der Standardoptimierungsstufe setzt gcc auf Kompilierungsgeschwindigkeit und führt nicht genügend Analysen durch, um vor Dingen wie einheitlichen Variablen zu warnen.

Erwägen Sie, -WerrorRichtlinien zu erstellen, da Warnungen, die die Kompilierung nicht stoppen, häufig ignoriert werden.

-Wall Aktiviert so ziemlich die Warnungen, bei denen es sich sehr wahrscheinlich um Fehler handelt.

In enthaltene Warnungen kennzeichnen in der -WextraRegel allgemeinen, legitimen Code. Sie können für Codeüberprüfungen nützlich sein (obwohl Programme im Fusselstil viel mehr Fallstricke flexibler finden), aber ich würde sie für die normale Entwicklung nicht aktivieren.

-Wfloat-equal ist eine gute Idee, wenn die Entwickler des Projekts mit Gleitkommazahlen nicht vertraut sind, und eine schlechte Idee, wenn sie es sind.

-Winit-selfist nützlich; Ich frage mich, warum es nicht in enthalten ist -Wuninitialized.

-Wpointer-arithist nützlich, wenn Sie meistens portablen Code haben, der nicht funktioniert -pedantic.

-save-temps

Dies hinterlässt die Ergebnisse des Präprozessors und der Baugruppe.

Die vorverarbeitete Quelle ist nützlich zum Debuggen von Makros.

Die Assembly ist nützlich, um festzustellen, welche Optimierungen wirksam wurden. Beispielsweise möchten Sie möglicherweise überprüfen, ob GCC bei einigen rekursiven Funktionen eine Tail-Call-Optimierung durchführt, da Sie ohne diese Funktion möglicherweise den Stapel überlaufen können.

Ich bin überrascht, dass dies noch niemand gesagt hat - das für mich nützlichste Flag ist, -gdass Debugging-Informationen in die ausführbare Datei eingefügt werden, sodass Sie sie debuggen und durch die Quelle gehen können (es sei denn, Sie beherrschen und lesen Assembly und wie der stepiBefehl) eines Programms, während es ausgeführt wird.

-fmudflap - Fügt allen riskanten Zeigeroperationen Laufzeitprüfungen hinzu, um UB abzufangen . Dies immunisiert Ihr Programm effektiv gegen Pufferüberläufe und hilft, alle Arten von baumelnden Zeigern zu fangen.

• http://gcc.gnu.org/wiki/Mudflap_Pointer_Debugging

Hier ist eine Demo:

$ cat mf.c 
int main()
{
 int a[10];
 a[10]=1; // <-- o noes, line 4
}

$ gcc -fmudflap mf.c -lmudflap
$ ./a.out 
*******
mudflap violation 1 (check/write): time=1280862302.170759 ptr=0x7fff96eb3d00 size=44
pc=0x7f3a575503c1 location=`mf.c:4:2 (main)'
      /usr/lib/libmudflap.so.0(__mf_check+0x41) [0x7f3a575503c1]
      ./a.out(main+0x90) [0x400a54]
      /lib/libc.so.6(__libc_start_main+0xfd) [0x7f3a571e2c4d]
Nearby object 1: checked region begins 0B into and ends 4B after
mudflap object 0xf9c560: name=`mf.c:3:6 (main) a'
bounds=[0x7fff96eb3d00,0x7fff96eb3d27] size=40 area=stack check=0r/3w liveness=3
alloc time=1280862302.170749 pc=0x7f3a57550cb1
number of nearby objects: 1

Nicht wirklich mit C / C ++ verwandt, aber trotzdem nützlich:

@file

Fügen Sie alle oben genannten guten Flags (die Sie alle angegeben haben) in eine 'Datei' ein und verwenden Sie dieses obige Flag, um alle Flags in dieser Datei zusammen zu verwenden.

z.B:

Datei: compilerFlags

-Mauer

-std = c99

-Wextra

Dann kompilieren Sie:

gcc yourSourceFile @compilerFlags

-march=native um optimierten Code für die Plattform (= Chip) zu erstellen, auf der Sie kompilieren

Wenn Sie die vom Compiler vordefinierten Präprozessor-Flags kennen müssen:

echo | gcc -E -dM -

Es ist nicht wirklich hilfreich, um Fehler zu erkennen, aber die selten erwähnte -masm=intelOption macht die -SÜberprüfung der Baugruppenausgabe viel, viel schöner.

Die Syntax der AT & T-Assembly schmerzt meinen Kopf viel zu sehr.

Mein Makefile enthält normalerweise

  CFLAGS= -Wall -Wextra -Weffc++ -Os -ggdb
  ...
  g++ $(CFLAGS) -o junk $<
  gcc $(CFLAGS) -o $@ $<
  rm -f junk

Die wichtigsten dieser Optionen wurden bereits erörtert, daher möchte ich auf die beiden Funktionen hinweisen, auf die noch nicht hingewiesen wurde:

Auch wenn ich auf einer Code - Basis gerade arbeite , dass Bedürfnisse Ebene C für die Portabilität zu einem gewissen Plattform sein , die noch keine anständigen C ++ Compiler hat, muß ich eine „extra“ Kompilierung mit dem C ++ Compiler (zusätzlich zu dem C - Compiler). Das hat 3 Vorteile:

1. Der C ++ - Compiler gibt mir gelegentlich bessere Warnmeldungen als der C-Compiler.
2. Der C ++ - Compiler akzeptiert die Option -Weffc ++, die mir gelegentlich einige nützliche Tipps gibt, die ich verpassen würde, wenn ich sie nur in einfachem C kompilieren würde.
3. Ich kann den Code relativ einfach auf C ++ portieren, wobei einige Randbedingungen vermieden werden, bei denen einfacher C-Code ungültiger C ++ - Code ist (z. B. das Definieren einer Variablen mit dem Namen "bool").

Ja, ich bin eine hoffnungslos optimistische Pollyanna, die sicher jeden Monat daran denkt, dass eine Plattform entweder für veraltet erklärt wird oder einen anständigen C ++ - Compiler erhält, und wir können endlich zu C ++ wechseln. In meinen Augen ist das unvermeidlich - die einzige Frage ist, ob dies vor oder nach dem Management geschieht, das schließlich jedem ein Pony ausstellt. :-)

-Wstrict-prototypes -Wmissing-prototypes

Hier ist eine großartige Flagge, die nicht erwähnt wurde:

-Werror-implicit-function-declaration

Geben Sie einen Fehler aus, wenn eine Funktion verwendet wird, bevor Sie deklariert werden.

man gcc

Das Handbuch ist voller interessanter Flaggen mit guten Beschreibungen. -Wall wird gcc jedoch wahrscheinlich so ausführlich wie möglich machen. Wenn Sie interessantere Daten wünschen, sollten Sie sich valgrind oder ein anderes Tool ansehen, um nach Fehlern zu suchen.

Nun, -Wextrasollte auch Standard sein. -Werrorverwandelt Warnungen in Fehler (was sehr ärgerlich sein kann, insbesondere wenn Sie ohne kompilieren -Wno-unused-result). -pedanticIn Kombination mit erhalten std=c89Sie zusätzliche Warnungen, wenn Sie C99-Funktionen verwenden.

Aber das war es schon. Sie können einen C-Compiler nicht auf etwas typsparenderes als C selbst einstellen.

-M* Familie von Optionen.

Mit diesen können Sie make-Dateien schreiben, die automatisch herausfinden, von welchen Header-Dateien Ihre c- oder c ++ - Quelldateien abhängen sollten. GCC generiert Make-Dateien mit diesen Abhängigkeitsinformationen, und Sie schließen sie dann aus Ihrer primären Make-Datei ein.

Hier ist ein Beispiel für ein extrem generisches Makefile mit -MD und -MP, das ein Verzeichnis voller C ++ - Quell- und Header-Dateien kompiliert und alle Abhängigkeiten automatisch ermittelt:

CPPFLAGS += -MD -MP                                         
SRC = $(wildcard *.cpp)                                                       

my_executable: $(SRC:%.cpp=%.o)                                                        
        g++ $(LDFLAGS) -o $@ $^                                               

-include $(SRC:%.cpp=%.d)

Hier ist ein Blog-Beitrag, der es ausführlicher behandelt: http://www.microhowto.info/howto/automatically_generate_makefile_dependencies.html

Es gibt -Werror, das alle Warnungen als Fehler behandelt und die Kompilierung stoppt. Auf der gccHandbuchseite werden alle Befehlszeilenoptionen für Ihren Compiler erläutert.

-Wfloat-equal

Von: http://mces.blogspot.com/2005/07/char-const-argv.html

Eine der anderen neuen Warnungen, die ich mag, ist das -Wfloat-Equal. Dieser warnt immer dann, wenn Sie eine Gleitkommazahl in einer Gleichheitsbedingung haben. Das ist brillant! Wenn Sie jeweils eine Computergrafik oder einen (schlimmer noch :) rechnergestützten Geometriealgorithmus programmiert haben, wissen Sie, dass keine zwei Floats jemals mit Gleichheit übereinstimmen ...

Ich habe festgestellt, dass dieser Thread nach einer Flagge sucht, um ein bestimmtes Problem zu beheben. Ich sehe sie hier nicht, daher füge ich eine hinzu, die mich in meinem Beitrag nur verblüfft hat :

Die -Wformat=2Flagge

-Wformat=> Überprüfen Sie die Aufrufe von printfund scanfusw., um sicherzustellen, dass die angegebenen Argumente Typen haben, die der angegebenen Formatzeichenfolge entsprechen ...

Und das wirklich Wichtige daran ( laut GCC-Handbuch ):

-Wformatist enthalten in -Wall. Für mehr Kontrolle über einige Aspekte der Formatprüfung, die Optionen -Wformat-y2k, -Wno-format-extra-args, -Wno-format-zero-length, -Wformat-nonliteral, -Wformat-security, und -Wformat=2stehen zur Verfügung, sind aber nicht in -Wall.` enthalten

Nur weil Sie haben, -Wallheißt das nicht, dass Sie alles haben. ;)

Ich benutze manchmal -sfür eine viel kleinere ausführbare Datei:

-s
    Remove all symbol table and relocation information from the executable.

Quelle: http://gcc.gnu.org/onlinedocs/gcc/Link-Options.html#Link-Options

Diese Antwort mag zwar etwas vom Thema abweichen und die Frage ist eine +1 von mir wert, da

Ich bin besonders an zusätzlichen Warnungen interessiert und / oder daran, Warnungen in einigen Fällen in Fehler umzuwandeln, um versehentliche Typinkongruenzen absolut zu minimieren.

Die statische Überprüfung über ein fusselfreies Werkzeug wie eine Schiene sollte Teil einer Compiler-Toolchain sein.

Ich bin besonders an zusätzlichen Warnungen interessiert,

Darüber hinaus ermöglicht -Walldie Option -Woder -Wextra( -Wfunktioniert sowohl mit älteren als auch mit neueren Versionen von gcc; neuere Versionen unterstützen den alternativen Namen -Wextra, was dasselbe bedeutet, aber aussagekräftiger ist) verschiedene zusätzliche Warnungen.

Es gibt auch noch mehr Warnungen, die von keiner dieser Warnungen aktiviert werden, im Allgemeinen für Dinge, die fragwürdiger sind. Die Menge der verfügbaren Optionen ist abhängig davon , welche gcc Version Sie verwenden - konsultieren man gccoder info gccfür weitere Details oder die siehe Online - Dokumentation . Für die jeweilige gcc Version Sie interessiert sind und -pedanticProbleme alle durch die jeweilige Norm bedarf Warnungen verwendet (das hängt auf andere Optionen wie -std=xxxoder -ansi) und beschwert sich über die Verwendung von gcc-Erweiterungen.

und / oder und in einigen Fällen Warnungen in Fehler umzuwandeln, um versehentliche Fehlanpassungen vom Typ absolut zu minimieren.

-Werrorverwandelt alle Warnungen in Fehler. Ich glaube nicht, dass Sie mit gcc dies selektiv für bestimmte Warnungen tun können.

Sie werden wahrscheinlich feststellen, dass Sie selektiv auswählen müssen, welche Warnungen pro Projekt aktiviert werden (insbesondere wenn Sie sie verwenden -Werror), da Header-Dateien aus externen Bibliotheken einige davon auslösen können. ( -pedanticInsbesondere ist dies meiner Erfahrung nach in dieser Hinsicht eher wenig hilfreich.)

• -Wmissing-prototypes: Wenn eine globale Funktion ohne vorherige Prototypdeklaration definiert ist.
• -Wformat-security: Warnt vor der Verwendung von Formatfunktionen, die mögliche Sicherheitsprobleme darstellen. Derzeit warnt dies vor Aufrufen printfund scanfFunktionen, bei denen die Formatzeichenfolge kein Zeichenfolgenliteral ist und keine Formatargumente vorhanden sind

• -Werror=return-type: Fehler erzwingen, wenn die Funktion in gcc keine Rückgabe hat. Es ist /we4716in Visual Studio.

• -Werror=implicit-function-declaration: Fehler erzwingen, wenn die Funktion ohne definiert / nicht enthalten verwendet wird. Es ist /we4013in Visual Studio.

• -Werror=incompatible-pointer-types: Vor dem Fehler, wenn der Typ eines Zeigers nicht mit dem erwarteten Zeigertyp übereinstimmt. Es ist /we4133in Visual Studio.

Eigentlich möchte ich meinen C-Code plattformübergreifend behalten, CMake verwenden und die bereitgestellten cflags wie folgt in CMakeLists.txt einfügen:

if (CMAKE_SYSTEM_NAME MATCHES "Windows")
    set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} /we4013 /we4133 /we4716")
elseif (CMAKE_SYSTEM_NAME MATCHES "Linux" OR CMAKE_SYSTEM_NAME MATCHES "Darwin")
    set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -Werror=implicit-function-declaration -Werror=incompatible-pointer-types -Werror=return-type")
endif()