Jak włączyć (dosłownie) WSZYSTKIE ostrzeżenia GCC?

Chciałbym włączyć - dosłownie - WSZYSTKIE ostrzeżenia, które ma GCC. (Myślisz, że to będzie łatwe ...)

• Pomyślałbyś, że -Wallmoże załatwić sprawę, ale nie! Nadal potrzebuję -Wextra.

• Pomyślałbyś, że -Wextramoże załatwić sprawę, ale nie! Nie wszystkie ostrzeżenia wymienione tutaj (na przykład -Wshadow) są włączone przez to. I nadal nie mam pojęcia, czy ta lista jest wyczerpująca.

Jak powiedzieć GCC, aby włączyła (nie, jeśli, i, ale, ale!) Wszystkie ostrzeżenia, które ma?

Nie możesz

Podręcznik dla GCC 4.4.0 jest wyczerpujący tylko dla tej wersji, ale zawiera listę wszystkich możliwych ostrzeżeń dla 4.4.0. Nie wszystkie znajdują się na stronie, do której prowadzi link, na przykład niektóre opcje specyficzne dla języka znajdują się na stronach opcji C ++ lub Obj-C. Aby znaleźć je wszystkie, lepiej spojrzeć na Podsumowanie opcji

Włączenie wszystkiego obejmowałoby to, -Wdouble-promotionco dotyczy tylko procesorów z 32-bitową jednostką zmiennoprzecinkową o pojedynczej precyzji, która implementuje się floatw sprzęcie, ale emuluje doublew oprogramowaniu. Wykonywanie obliczeń w doublesposób podobny do emulacji oprogramowania i wolniejsze. Jest to istotne w przypadku niektórych wbudowanych procesorów, ale zupełnie nie ma znaczenia w przypadku współczesnych procesorów do komputerów stacjonarnych ze sprzętową obsługą 64-bitowych liczb zmiennoprzecinkowych.

Innym ostrzeżeniem, które zwykle nie jest przydatne, jest -Wtraditionalostrzeżenie o doskonale uformowanym kodzie, który ma inne znaczenie (lub nie działa) w tradycyjnych C, np. W "string " "concatenation"definicjach funkcji ISO C! Czy naprawdę zależy Ci na kompatybilności z 30-letnimi kompilatorami? Czy na pewno chcesz ostrzeżenia do pisania int inc(int i) { return i+1; }?

Myślę, że -Weffc++jest zbyt głośny, aby był użyteczny, opiera się na przestarzałym pierwszym wydaniu Effective C ++ i ostrzega o konstrukcjach, które są całkowicie poprawne w C ++ (i dla których wytyczne zmieniły się w późniejszych wydaniach książki). Nie chcę być ostrzegł, że nie zainicjowałem std::stringczłonka w moim konstruktorze; ma domyślnego konstruktora, który robi dokładnie to, co chcę, dlaczego mam pisać, m_str()aby to nazwać? Te -Weffc++ostrzeżenia, które byłyby pomocne są zbyt trudne dla kompilator wykryć dokładnie (co daje fałszywie ujemne), a te, które nie są użyteczne, takie jak inicjowanie wszystkich członków jawnie, tylko produkować zbyt dużo hałasu, dając fałszywe alarmy.

Luc Danton podał świetny przykład bezużytecznych ostrzeżeń z -Waggregate-returntego, że prawie na pewno nigdy nie ma sensu dla kodu C ++.

tzn. tak naprawdę nie chcesz wszystkich ostrzeżeń, po prostu myślisz, że tak.

Przejrzyj instrukcję, przeczytaj o nich, zdecyduj, które chcesz włączyć, wypróbuj je. W każdym razie przeczytanie instrukcji kompilatora jest dobrą rzeczą. ^Skrócenie i włączenie ostrzeżeń, których nie rozumiesz, nie jest dobrym pomysłem, zwłaszcza jeśli chcesz uniknąć korzystania z RTFM.

Każdy, kto po prostu wszystko włącza, prawdopodobnie robi to, ponieważ nie ma pojęcia, bo albo spiczasty szef powiedział „bez ostrzeżeń”.

Niektóre ostrzeżenia są ważne, a niektóre nie. Musisz być dyskryminujący lub popsuć swój program. Rozważmy na przykład -Wdouble-promotion. Jeśli pracujesz w systemie wbudowanym, możesz tego chcieć; jeśli pracujesz na systemie stacjonarnym, prawdopodobnie nie. A chcesz -Wtraditional? Wątpię.

Edycja: Zobacz także -Wall-all, aby włączyć wszystkie ostrzeżenia, które są zamknięte jako WONTFIX.

Edycja 2: w odpowiedzi na skargę DevSolar dotyczącą plików makefile, które muszą używać różnych ostrzeżeń w zależności od wersji kompilatora, jeśli -Wall -Wextranie jest to odpowiednie, użycie CFLAGS specyficznych dla kompilatora i wersji:

compiler_name := $(notdir $(CC))
ifeq ($(compiler_name),gcc)
compiler_version := $(basename $(shell $(CC) -dumpversion))
endif
ifeq ($(compile_name),clang)
compiler_version := $(shell $(CC) --version | awk 'NR==1{print $$3}')
endif
# ...
wflags.gcc.base := -Wall -Wextra
wflags.gcc.4.7 := -Wzero-as-null-pointer-constant
wflags.gcc.4.8 := $(wflags.gcc.4.7)
wflags.clang.base := -Wall -Wextra
wflags.clang.3.2 := -Weverything
CFLAGS += $(wflags.$(compiler_name).base) $(wflags.$(compiler_name).$(compiler_version))

Zgadzam się z poprzednimi odpowiedziami, że włączenie dosłownie wszystkich ostrzeżeń prawdopodobnie nie jest korzystne, jednak GCC zapewnia dość dogodny sposób na osiągnięcie tego. Komenda

gcc -Q --help=warning

zawiera listę wszystkich obsługiwanych opcji ostrzeżeń z informacją, czy są one aktywne. Można to przy okazji wykorzystać, aby dowiedzieć się, które opcje są (nie) włączone przez np. -WallI-Wextra

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

Aby włączyć wszystkie ostrzeżenia, możesz użyć wyrażenia regularnego, aby wyodrębnić parametry wiersza polecenia

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

Dla mojego obecnego GCC daje to:

-Wabi -Wabi-tag -Waddress -Waggregate-return -Waggressive-loop-optimizations -Waliasing -Walign-commons -Wampersand -Warray-bounds -Warray-temporaries -Wassign-intercept -Wattributes -Wbad-function-cast -Wbool-porównaj -Wbuiltin-makro-przedefiniowany -Wc ++ - kompatybilny -Wc ++ 0x-kompatybilny -Wc ++ 14-kompatybilny -Wc-typ wiązania -Wc90-c99-kompatybilny -Wc99-c11-kompatybilny -Wcast-align -Wcast-Qual -Wchar-subscripts -Wcharacter-truncation -Wchkp -Wclobbered -Wcomment -Wcompare-reals -Wconditionally-obsługiwane -Wconversion -Wconversion-extra -Wconversion-null -Wcoverage-mismatch -Wcpp -Wctor-dtor-privacy -Wdate-date-date -after-statement -Wdelete-niekompletne -Wdelete-non-virtual-dtor -Wdeprecated -Wdeprecated-declarations -Wdesignated-init -Wdisabled-optimization -Wdiscarded-array-qualifiers -Wdiscarded-kwalifikatory -Wdiv-by-zero -Wdouble-Promotion -Weffc ++ -Wempty-body-Wendif-etykiety -Wenum-porównaj -Wextra -Wfloat-równe -Wformat-zawiera-nul -Wformat-dodatkowe-args -Wformat-nieliteralny -Wformat-bezpieczeństwo -Wformat-podpisanie -Wformat-y2k -Wformat-zero-długość -Wolne -nonheap-object -Wfunction-eliminacja -Wignored-kwalifikatory -Wimplicit -Wimplicit-funkcja-deklaracja -Wimplicit-int -Wimplicit-interface -Wimplicit-procedure -Wincompatible-pointer-types -Winherited-variadic-ctor -Winit-self -Winline -Wint-konwersji -Wint-to-pointer-cast -Wintrinsic-shadow -Wintrinsics-std -Winvalid-memory-model -Winvalid-offsetof -Winvalid-pch -Wjump-misses-init -Wline-truncation -Wliteral-sufiks -Wlogical -nie-nawiasy -Wlogiczne-op -Długi-długi -Dziewczyna -Wmaybe-niezainicjowany -Wmemset-transponowane-args -Wiss-nawiasy klamrowe -Wississ-deklaracje -Wississ-field-inicjalizatory -Wississ-include-dirs -Wississ-parametr-type -Brak prototypów-Wmultichar -Wnarrowing -Wnested-externs -Wnoexcept -Wnon-template-friend -Wnon-virtual-dtor -Wnonnull -Wodr -Wold-style-cast -Wold-style-deklaration -Wold-style-definition -Wopenmp-simd -Woverflow -Woverlength-strings -Woverloaded-virtual -Woverride-init -Wpacked -Wpacked-bitfield-kompatybil -Wpadded -Wparentheses -Wpedantic -Wpmf-konwersje -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-minus -Wshift-count-overflow -Wsign-Compare -Wsign-promo -Wsized-deallocation -Wsizeof-array-argument -Wsizeof-wskaźnik-memaccess -Wstack-protector -Wstrict-null-sentinel -Wstrict-prototypes -Silne dopasowanie selektora-Wsuger-atrybut = const -Wsuger-atrybut = format -Wsuger-atrybut = niewiedza -Wsuger-atrybut = czysty -Wsuger-końcowe-metody -Wsugeruj-końcowe-typy -Wsugeruj-zastąpienie -Wzaskakujący -Wswitch -Wswitch-bool -Wswitch -default -Wswitch-enum -Wsync-nand -Wsynth -Wsystem-headers -Wtabs -Wtarget-lifetime -Wtraditional -Wtraditional -version -Wtrampolines -Wtrigraphs -Wtype-limit -Wundeclared-selector -Wundef -Wunderflow -Wuninitial -Wunsafe-loop-optimizations -Wunsuffixed-float-constants -Wunused -Wunused-but-set-parameter -Wunused-but-set-variable -Wunused-dummy-argument -Wunused-function -Wunused-label -Wunused-local-typedefs -Wunused-macros -Wunused-parameter -Wunused-result -Wunused-value -Wunused-variable -Wuse-without-only -Wuseless-cast -Wvarargs -Wvariadic-macros -Wvector-operation-performance -Wvirtual-move-przypis-Wvla -Wvolatile-register-var -Wwrite-string -Wzero-as-null-pointer-constant -Wzerotrip -frequire-return-statement

Można to teraz wykorzystać do wywołania GCC, tj

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

Należy jednak pamiętać, że powoduje to ostrzeżenia, ponieważ niektóre opcje ostrzeżeń są dostępne tylko dla niektórych języków (np C++.). Można tego uniknąć, stosując więcej wyrażeń regularnych, aby uwzględnić tylko opcje dozwolone dla bieżącego języka lub dodając odpowiedni -Wno-whateverna końcu połączenia.

Po prostu niemożliwe jest zaprogramowanie z włączonymi wszystkimi ostrzeżeniami (chyba że masz zamiar je zignorować, ale w takim razie po co to przeszkadzać?). Na przykład, załóżmy użyć poniższy zestaw flag: -Wstrict-prototypes -Wtraditional.

Nawet przy włączonych dwóch ostrzeżeniach następujący program będzie narzekał.

/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) {
     ^

Możesz pomyśleć „no cóż, wtedy użyję prototypów starego stylu”. Nie, to nie zadziała.

/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)
     ^

I nie, nieokreślenie żadnego prototypu jest również błędne, ponieważ kompilator również narzeka.

/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() {
     ^

Jeśli zdefiniujesz jakieś funkcje w swoim programie, nie będziesz mógł używać wszystkich flag, ponieważ kompilator będzie narzekał na każdą możliwą do wyobrażenia definicję funkcji.

W przypadku C ++ jest to możliwe ( -Wtraditionalflaga nie istnieje) i można skompilować bardzo proste programy. Aby włączyć wszystkie ostrzeżenia, skorzystaj z poniższej listy ostrzeżeń (prawdopodobnie niektóre ostrzeżenia są zduplikowane, ponieważ nie zawracałem sobie głowy filtrowaniem włączonych ostrzeżeń -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

Ktoś stworzył zestaw narzędzi do określania pełnego zestawu ostrzeżeń dla danej wersji GCC lub Clang.

W przypadku GCC kopiowanie z pełnej listy ostrzeżeń dostarczonych przez to narzędzie dla twojej wersji kompilatora wydaje się być jedynym sposobem na upewnienie się, że wszystkie ostrzeżenia są włączone, ponieważ (w przeciwieństwie do Clanga) GCC nie zapewnia -Weverything.

Narzędzie wydaje się analizować rzeczywisty c.optplik w kodzie źródłowym GCC, więc jego wyniki powinny być ostateczne.

Repozytorium zawiera również pliki tekstowe z listami ostrzegawczymi wygenerowanymi dla większości wersji GCC i Clang (obecnie Clang 3.2 do 3.7 i GCC 3.4 do 5.3).

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

Gcc 4.3+ ma teraz -Q --help = ostrzeżenia, możesz nawet podać --help = ostrzeżenia, C, aby po prostu wydrukować ostrzeżenia związane z C.

Właśnie napisałem moduł m4, aby skorzystać z tego (obsługuje także clang -Weverything), patrz wget_manywarnings.m4

Sposób użycia jest dość prosty, w zasadzie moduł włącza każdą flagę ostrzegania. W razie potrzeby usuwasz ostrzeżenia - niektóre z nich są naprawdę bardzo szczegółowe. Przykład: configure.ac

Jeśli nie korzystasz z narzędzi automatycznych, znajdziesz kod, aby włączyć wszystkie wyłączone ostrzeżenia w module m4, co w zasadzie jest wywołaniem gcc przesyłanym przez 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 }'

Z tej strony :

Zauważ, że niektóre flagi ostrzegawcze nie są sugerowane przez -Wall. Niektóre z nich ostrzegają przed konstrukcjami, których użytkownicy na ogół nie uważają za wątpliwe, ale które czasami warto sprawdzić; inni ostrzegają o konstrukcjach, które w niektórych przypadkach są konieczne lub trudne do uniknięcia, i nie ma prostego sposobu modyfikacji kodu w celu wyłączenia ostrzeżenia. Niektóre z nich są włączone przez, -Wextraale wiele z nich musi być włączanych indywidualnie.

Myślę, że pytanie brzmi, które z nich ? Być może mógłbyś grepować tę stronę dla wszystkich linii zaczynających się na -W i uzyskać pełną listę flag ostrzegawczych. Następnie porównaj te z listami pod -Walli -Wextra. Jest też -Wpedantic, choć oczywiście chcesz być jeszcze bardziej pedantyczny =)

I nadal nie mam pojęcia, czy ta lista jest wyczerpująca.

Prawdopodobnie jest, ale jedyna lista, która jest w 100% wyczerpująca, jest faktycznym źródłem kompilatora. Jednak GCC jest duży ! I nie wiem, czy wszystkie parametry wiersza polecenia są zebrane w jednym miejscu, czy rozłożone na kilka plików źródłowych. Zauważ też, że niektóre ostrzeżenia dotyczą preprocesora, niektóre dla faktycznego kompilatora, a niektóre dla linkera (który jest całkowicie oddzielnym programem i znajduje się w pakiecie binutils), więc najprawdopodobniej są rozłożone.