Comment activer (littéralement) tous les avertissements de GCC?

Je suis d'accord avec les réponses précédentes qu'il n'est probablement pas bénéfique d'activer littéralement tous les avertissements, mais GCC fournit un moyen raisonnablement pratique d'y parvenir. La commande

gcc -Q --help=warning

Fournit une liste de toutes les options d'avertissement prises en charge avec des informations indiquant si elles sont actives. Cela peut d'ailleurs être utilisé pour savoir quelles options sont (pas) activées par exemple -Wall et -Wextra

gcc -Wall -Wextra -Q --help=warning

Pour activer tous les Avertissements, vous pouvez utiliser une expression rationnelle pour extraire la commande paramètres de ligne

gcc -Q --help=warning | sed -e 's/^\s*\(\-\S*\)\s*\[\w*\]/\1 /gp;d' | tr -d '\n'

Pour mon GCC actuel, cela donne:

-Wabi-Wabi-tag-Waddress-Waggregate-return-Waggressive-loop-optimizations-Waliasing-Walign-commons-Wampersand-Warray-bounds-Warray-temporaries-Wassign-intercept-Wattributes-wbad-function-cast-wbool-compare-wbuiltin-macro-redefined-Wc++-compat-Wc++0x-compat-Wc++14-compat-Wc-binding-type-wc90-c99-compat-wc99-C11-compat-wcast-align-Wcast-Qual-wchar-indices-wcharacter-truncation-Wchkp -Wclobbered-Wcomment-Wcompare-reals-wconditionally-supported-Wconversion-wconversion-extra-wconversion-null-Wcoverage-mismatch-Wcpp-wctor-dtor-privacy-Wdate-time-Wdeclaration-after-statement-Wdelete-incomplet-Wdelete-non-virtual-dtor-Wdeprecated-wdeprecated-declarations-Wdesignated-init-Wdisabled-optimization-Wdiscarded-tableau-qualificateurs-Wdiscarded-Qualifiers-WDIV-par-zéro-Wdouble-promotion-Weffc++ -Wempty-corps-Wendif-labels-Wenum-comparer-Wextra-wfloat-égale -Wformat-contains-nul-Wformat-extra-args-Wformat-nonliteral-wformat-security-Wformat-signedness-Wformat-y2k-Wformat-zero-length-Wfree-nonheap-object-Wfunction-elimination-Wignored-qualifiers-Wimplicic-wimplicic-function-declaration-Wimplicic-int-wimplicic-interface-wimplicic-procedure-Wincompatible-pointer-types-Winherited-variadic-ctor-winit-self-winline-wint-conversion-wint-to-pointer-cast-wintrinsic-Shadow-wintrinsics-STD-winvalid-Memory-Model-winvalid-offsetof -Winvalid-pch-Wjump-misses-init-Wline-truncation-wliteral-suffix-wlogical-not-parentheses-Wlogical-op-Wlong-long-Wmain-Wmaybe-uninitialized-wmemset-transposed-args-Wmissing-braces-wmissing-declarations-wmissing-field-initializers-wmissing-include-dirs-Wmissing-parameter-type-wmissing-prototypes-Wmultichar-Wnarrrowing-Wnested-externs-wnoexcept-wnon-template-friend-wnon-virtual-dtor-wnonnull-wodr-wold-style-cast-wold-style-declaration-Wold-style-definition-Wopenmp-SIMD -Woverflow-woverlength-strings-woverloaded-virtual-Woverride-init-Wpacked-wpacked-bitfield-compat-Wpadded-Wparentheses-Wpedantic-Wpmf-conversions-Wpointer-arith-Wpointer-sign-Wpointer-to-int-cast-Wpragmas-Wproperty-assign-default-wprotocol-Wreal-Q-constant-Wrealloc-lhs-wrealloc-LHS-all-wredundant-Decls-wreorder-wreturn-Local-Addr-Wreturn-type-Wselector-Wsequence-point-Wshadow-Wshadow-Ivar-wshift-count-negative-wshift-count-overflow-wsign-compare-wsign-promo -Wsizeof-deallocation-wsizeof-array-argument-wsizeof-pointer-memaccess-wstack-protector-wstrict-null-sentinel-wstrict-prototypes-wstrict-selector-match-wsuggest-attribut=const-wsuggest-attribut=format-wsuggest-attribut=noreturn-wsuggest-attribut=pure-wsuggest-final-methods-wsuggest-final-types-wsuggest-override-wsurprising-wswitch-wswitch-bool-Wswitch-default-wswitch-enum-Wsync-NAND-Wsynth-wsystem-headers-wtabs-Wtarget-lifetime-wtraditional-wtraditional-conversion -Wtrampolines -Wtrigraphs -Wtype-limites-Wundeclared-sélecteur -Wundef -Wunderflow -Wuninitialized -Wunknown-pragmas -Wunsafe-boucle-optimisations -Wunsuffixed-float-les constantes -Wunused -Wunused-mais-set-paramètre -Wunused-mais-set-variable -Wunused-mannequin-argument -Wunused-fonction -Wunused-label-Wunused-local-typedefs -Wunused-macros-Wunused-paramètre -Wunused-résultat -Wunused-valeur -Wunused-variable -Wuse-sans-seulement -Wuseless-cast -Wvarargs -Wvariadic-macros-Wvector-de fonctionnement-de la performance -Wvirtual-move-attribuer -Wvla -Wvolatile-inscrivez-vous-var -Wwrite-strings -Wzero-que-de pointeur null-constant-Wzerotrip -frequire-retour-déclaration de

Cela peut maintenant être utilisé pour appeler le GCC, c'est-à-dire

gcc $(gcc -Q --help=warning | sed -e 's/^\s*\(\-\S*\)\s*\[\w*\]/\1 /gp;d' | tr -d '\n')

Notez cependant que cela entraîne des avertissements en raison de certaines options d'avertissement disponibles uniquement pour certaines langues (par exemple C++). Ceux-ci pourraient être évités en utilisant plus de regex pour inclure uniquement les options autorisées pour la langue actuelle.

Il est tout simplement impossible de programmer avec tous les Avertissements activés (sauf si vous allez les ignorer, mais alors, pourquoi s'embêter?). Par exemple, supposons que vous utilisiez l'ensemble de drapeaux suivant: -Wstrict-prototypes -Wtraditional.

Même avec deux avertissements activés, le programme suivant se plaindrait.

/tmp $ cat main.c 
int main(int argc, char **argv) {
    return 0;
}
/tmp $ gcc -Wstrict-prototypes -Wtraditional main.c 
main.c: In function ‘main’:
main.c:1:5: warning: traditional C rejects ISO C style function definitions [-Wtraditional]
 int main(int argc, char **argv) {
     ^

Vous pouvez penser "Eh bien, je vais utiliser des prototypes de style ancien alors". Non, cela ne fonctionne pas.

/tmp $ cat main.c 
int main(argc, argv)
    int argc;
    char **argv;
{
    return 0;
}
/tmp $ gcc -Wstrict-prototypes -Wtraditional main.c 
main.c:1:5: warning: function declaration isn’t a prototype [-Wstrict-prototypes]
 int main(argc, argv)
     ^

Et non, ne pas spécifier de prototype est également faux, car le compilateur le fera également plaindre.

/tmp $ cat main.c 
int main() {
    return 0;
}
/tmp $ gcc -Wstrict-prototypes -Wtraditional main.c 
main.c:1:5: warning: function declaration isn’t a prototype [-Wstrict-prototypes]
 int main() {
     ^

Si vous définissez des fonctions dans votre programme, vous ne pouvez pas utiliser tous les indicateurs, car le compilateur se plaindra de toute définition de fonction imaginable.

Pour C++, c'est possible (l'indicateur -Wtraditional n'existe pas), et des programmes très simples peuvent être compilés. Pour activer tous les Avertissements, utilisez la liste d'Avertissements suivante(probablement certains avertissements sont dupliqués, car je n'ai pas pris la peine de filtrer les Avertissements activés par -Wall).

-Wabi -Wctor-dtor-privacy -Wnon-virtual-dtor -Wreorder -Weffc++ -Wstrict-null-sentinel -Wno-non-template-friend -Wold-style-cast -Woverloaded-virtual -Wno-pmf-conversions -Wsign-promo -Wextra -Wall -Waddress -Waggregate-return -Warray-bounds -Wno-attributes -Wno-builtin-macro-redefined -Wc++0x-compat -Wcast-align -Wcast-qual -Wchar-subscripts -Wclobbered -Wcomment -Wconversion -Wcoverage-mismatch -Wno-deprecated -Wno-deprecated-declarations -Wdisabled-optimization -Wno-div-by-zero -Wempty-body -Wenum-compare -Wno-endif-labels -Wfatal-errors -Wfloat-equal -Wformat -Wformat=2 -Wno-format-contains-nul -Wno-format-extra-args -Wformat-nonliteral -Wformat-security -Wformat-y2k -Wignored-qualifiers -Winit-self -Winline -Wno-int-to-pointer-cast -Wno-invalid-offsetof -Winvalid-pch -Wunsafe-loop-optimizations -Wlogical-op -Wlong-long -Wmain -Wmissing-braces -Wmissing-field-initializers -Wmissing-format-attribute -Wmissing-include-dirs -Wmissing-noreturn -Wno-mudflap -Wno-multichar -Wnonnull -Wno-overflow -Woverlength-strings -Wpacked -Wpacked-bitfield-compat -Wpadded -Wparentheses -Wpointer-arith -Wredundant-decls -Wreturn-type -Wsequence-point -Wshadow -Wsign-compare -Wsign-conversion -Wstack-protector -Wstrict-aliasing=1 -Wstrict-overflow=5 -Wswitch -Wswitch-default -Wswitch-enum -Wsync-nand -Wsystem-headers -Wtrigraphs -Wtype-limits -Wundef -Wuninitialized -Wunknown-pragmas -Wno-pragmas -Wunreachable-code -Wunused -Wunused-function -Wunused-label -Wunused-parameter -Wunused-value -Wunused-variable -Wvariadic-macros -Wvla -Wvolatile-register-var -Wwrite-strings

Quelqu'un a créé un ensemble d'outils pour déterminer l'ensemble d'Avertissements complet pour une version GCC ou Clang donnée.

Pour GCC, copier à partir de la liste complète des avertissements fournis par cet outil pour votre version du compilateur semble être le moyen seulement de s'assurer que Tous les Avertissements sont activés, puisque (contrairement à Clang) GCC ne fournit pas -Weverything.

L'outil semble analyser le fichier c.opt réel dans le code source GCC, donc ses résultats devraient être définitif.

Le référentiel contient également des fichiers texte avec les listes d'avertissement générées pour la plupart des versions de GCC et Clang (actuellement clang 3.2 à 3.7 et GCC 3.4 à 5.3).

Https://github.com/barro/compiler-warnings

Gcc 4.3+ nows-Q --help=warnings, vous pouvez même spécifier --help=warnings,C pour simplement imprimer les avertissements liés à C.

Je viens d'écrire un module m4 pour en profiter (supporte également clang's-Weverything), voir wget_manywarnings.m4

Comment l'utiliser est assez simple, fondamentalement le module sur lequel vous activez chaque drapeau warn. Et vous supprimez les avertissements au besoin-certains sont vraiment très verbeux. Exemple: configurer.ac

Si vous n'utilisez pas autotools, vous trouvez le code pour activer tous les Avertissements désactivés dans le module m4, qui est essentiellement l'appel gcc acheminé via awk:

flags="-Wall -Wextra -Wformat=2 "$(gcc -Wall -Wextra -Wformat=2 -Q --help=warning,C|awk '{ if (($2 == "[disabled]" || $2 == "") && $1!~/=/ && $1~/^-W/&& $1!="-Wall") print $1 }'

À Partir de cette page:

Notez que certains indicateurs d'avertissement ne sont pas implicites par -Wall. Certains d'entre eux avertir des constructions que les utilisateurs ne considèrent généralement pas discutable, mais que vous voudrez peut-être vérifier de temps en temps; d'autres mettent en garde contre les constructions nécessaires ou difficiles à éviter certains cas, et il n'y a pas de moyen simple de modifier le code pour supprimer avertissement. Certains d'entre eux sont activés par -Wextra, mais beaucoup d'entre eux doit être activé individuellement.

Je suppose que la question Est lesquels ? Peut-être que vous pourriez grep{[15] } cette page pour toutes les lignes commençant par-W, et obtenir une liste complète des drapeaux d'avertissement. Ensuite, comparez ceux avec les listes sous -Wall et -Wextra. Il y a aussi -Wpedantic, bien que vous vouliez évidemment être encore plus pédant=)

Et je n'ai toujours aucune idée si cette liste est exhaustive.

C'est probablement le cas, mais la seule liste complète à 100% est la source réelle du compilateur. Cependant, GCC estbig ! Et je ne sais pas si tous les paramètres de ligne de commande sont collectés en un seul endroit ou répartis sur plusieurs fichiers source. Notez également que certains avertissements sont pour le pré-processeur, certains pour le compilateur réel et d'autres pour l'éditeur de liens (qui est un programme complètement séparé, et trouvé dans le paquet binutils) donc ils sont très probablement étalés.