Dotaz: gcc (avr-gcc) naozaj vsetky warning hlasky

[Jooky (inactive)]

Zdravim

V c99 programujem kod pre atmel mikrokontroler. Kod prekladam cez avr-gcc. Vramci pokusu, programovat podla pravidiel Nasa, som narazil na zaujimavy problem.

Jedno z pravidiel hovori, ze vsetky "warning" hlasky kompilera maju byt zapnute. Preto som zacal s:

avr-gcc -Wall

Skumanim man stranky som zistil, ze nie je all ako all a teda -Wall nezapina vsetky warning hlasky. Dalsim skumanim som sa dopracoval k nasledovnemu:

avr-gcc -Wall -Wextra -Wpedantic -std=c99 -g -O2 -mmcu=atmega328p -o project.elf project.c

Na nete sa v niektorych clankoch spomina -Weverything, ale tento prepinac nepozna ani man stranka, ani samotne gcc (avr-gcc).

Je nejaka moznost ako naozaj zapnut vsetky warning hlasky ?

Samozrejme mam na mysli hlasky, ktore sa daju pre danu platformu / cpu pouzit. Dakujem. Lukas

---

---

Odpovědi

[Ovrscout]

Pokud vím, tak nějak jednoduše zapnout úplně všechny warningy jedním příznakem nejde, je to kvůli kompatibilitě a tomu že jsou postupně přidávány nové volby, Wall nejsou všechny, spíše je to výběr v té době bezproblémových a často používaných. Časem byl přidán i Wextra který by mněl pokrývat další relativně bezproblémové warningy. Navíc, některé warningy také potřebují být správně nastaveny parametry a nebo jsou to spíše doporučení než upozornění na chybu. A občas u některých také dochází k falešným hlášením. Takže nejsou defaultně povoleny např kvůli buildovacím systémům které vynucují kód bez warningů.

Dobré je nezapomenout že některé warningy se objeví až s pokročilou analýzou při zapnuté optimalizaci (některé při -O1 ale lepší je minimálně -O2 nebo -Os). Také je dobré mít poslední verzi GCC, myslím že je v tomto velký rozdíl mezi gcc 3.x a 4.x. co se týká různých warningů. Kdyby nešlo o avr tak bych doporučil i zkušební překlad clangem, občas z něj vypadnou rozumnější hlášky a případně i jiné warningy ačkoliv v poslkedních verzích se gcc dost zlepšilo. Nevím jestli by nešlo alespoň část kódu přeložit pro x86 čistě pro toto. Pro případnopu doplňkovou kontrolu by možná stálo za to použít cppcheck, celkem zajímavý prográmek pro analýzu kódu. Ale tam už je to opravdu spíš pro kontrolu protože toho hlásí opravdu hodně a část warningů je vyloženě spíš o "stylu" ale umí najít i chyby co jinak překladače běžně neodhalí. A samozřejmně také občas trpí na falešná hlášení(možná trochu více než gcc/clang/..) ale zas tak strašné to není.

[Jooky (inactive)]

GCC mam vo verzii 4.8.1 na booku a 4.8.4 na servri. Cize viacmenej najnovsie. Optimalizaciu pouzivam. Paradoxne sa niektore casti kodu z library neprelozia spravne bez optimalizacie :D

Samotny kod nepojde jednoducho prelozit na x86. Atmel AVR ma oddelenu cast pre kod a pre data. Vsetky konstatny nacitavam cez funkcie, ktore sa "rozumeju" tejto odlisnosti. Pristup na HW a prerusenia su tiez ine. Donutit kod k prelozeniu na x86 by bolo viac roboty, ako to co chcem dokazat ;o)

cppcheck ma profil aj pre AVR. Vyskusam to a dam vediet + Skusim este raz pozriet aj Warning-Options.html ci tam je nieco relevatne k tomu kodu, co pisem.

Dakujem. L.

[Jooky (inactive)]

Skusim to este zosumarizovat, ak by niekto dosiel k podobnej otazke :o)

Vramci testovania som postupne zapinal dalsie warning hlasky podla Warning-Options.html. Implenetovane su v gcc (avr-gcc) dobre, ale nie vsetky su vzdy 100% relevatne. Ako priklad mozem uviest -Wswitch-default (switch nema "default:"). Su casti kodu, kde to moze byt chyba (ak sa nieco podla switch vykonava), ale aj nemusi. V mojom pripade mam switch na par miestach v kode, aby len pri specifickych situaciach upravil hodnoty pred vypisom na display / seriovu linku. Na tom mieste mi to nadavalo, ze nemam default: pre switch. To iste dalsich niekolko warning skupin. Po tom, co som sa stym "pohral" som sa vratil k povodnemu:

avr-gcc -Wall -Wextra -Wpedantic -std=c99 -g -O2 -mmcu=atmega328p -o project.elf project.c

Podla "Ovrscout" navrhu som testol aj cppcheck. Samotny cppcheck ma podporu pre AVR, ale je potrebne ho trosku doladit. Aktualne mam v build scripte toto:

CPPcheck_opts=" --enable=all \
                --library=/usr/share/cppcheck/cfg/avr.cfg \
                -I /usr/lib/avr/include/ -I /usr/lib/gcc/avr/4.8.1/include/
                --std=c99 \
                -D __AVR_ATmega328P__"

cppcheck --check-config ${CPPcheck_opts} project.c
echo
cppcheck                ${CPPcheck_opts} project.c
echo

fyi: samotny kod testujem ako "black box" po buildnuti dalsimi scriptami.