Come posso dire a gcc di mettere in guardia (o fallire) su istruzioni switch/case senza interruzione?

Question

Ho una complicata istruzione switch e ho dimenticato di inserire uno break alla fine di uno dei case s. Questo è abbastanza legale e, di conseguenza, ho avuto una ricaduta fino al prossimo case.

C'è un modo per fare in modo che gcc avvisi (o anche meglio, fail) se trascuro di inserire una dichiarazione break?

Mi rendo conto che esistono molti casi d'uso validi (e li uso spesso nel mio codice), come esemplificato in this question, quindi ovviamente tale avviso (o errore) richiederebbe una semplice rinuncia in modo tale da poter facilmente dire, "Voglio cadere qui."

C'è un modo per dire a gcc di farlo?

Answer 1

C'è una discussione su tale funzione (-Interruttore a distanza) a http://gcc.gnu.org/bugzilla/show_bug.cgi?id=7652. Ma non sembra essere ancora implementato

Answer 2

Ho appena passato le opzioni di gcc, e non c'è nessuno che ti dia almeno un avviso. Ci sono -Wswitch, -Wswitch-default e -Wswitch-enum (http://gcc.gnu.org/onlinedocs/gcc/Warning-Options.html#Warning-Options), ma nessuno di essi funzionerà per voi.

la mia scommessa migliore sarebbe quella di utilizzare 'else if' dichiarazioni

Answer 3

Si potrebbe costruire un regexp per grep/perl/emacs/etc per trovare tutti i luoghi dove non c'è break prima case.

Answer 4

La risposta breve è no, non esiste un flag di questo tipo in gcc per farlo. Switch case è usato per la caduta attraverso più spesso, ecco perché non ha senso avere un tale flag in gcc.

Answer 5

Questo controllo è disponibile in Cppcheck, un analizzatore statico libero per codice C e C++. Il controllo è attualmente contrassegnato come "sperimentale", quindi sarà necessario utilizzare l'interruttore della riga di comando --experimental per attivarlo.

Questo controllo mette in guardia contro una clausola caso non vuoto che cade fino al caso successivo senza un rendiconto di controllo come break, continue, return, ecc, a meno v'è un commento con una formulazione come // fall through immediatamente precedente la prossima case.

È possibile ottenere un'idea per i tipi di costrutti che gestisce consultando lo switchFallThroughCase test cases nel codice sorgente.

Answer 6

GCC 7 ha un avvertimento abilitato con -Wextra o -Wimplicit-fallthrough(=[1-5])?: https://developers.redhat.com/blog/2017/03/10/wimplicit-fallthrough-in-gcc-7/