¿Cómo puedo decirle a gcc que advierta (o falle) en las declaraciones de cambio/caso sin interrupción?

Question

Tengo una declaración complicada switch, y olvidé poner un break al final de uno de los case s. Esto es bastante legal, y como resultado tuve un fracaso en el próximo case.

¿Hay alguna forma de que gcc advierta (o incluso mejor, falle) si omito poner una declaración break?

Me doy cuenta de que hay muchos casos de uso válidos (y los uso a menudo en mi código), como se ejemplifica en this question, así que obviamente una advertencia (o falla) necesitaría una simple exención para poder decir fácilmente, "Quiero caer aquí".

¿Hay alguna manera de decirle a gcc que haga esto?

Answer 1

Hay una discusión sobre esta característica (-Wswitch-break) en http://gcc.gnu.org/bugzilla/show_bug.cgi?id=7652. Pero parece que todavía no está implementado

Answer 2

Acabo de revisar las opciones de gcc, y no hay ninguna que al menos le avise. Hay -Wswitch, -Wswitch-default y -Wswitch-enum (http://gcc.gnu.org/onlinedocs/gcc/Warning-Options.html#Warning-Options), pero ninguno de ellos funcionará para usted.

mi mejor apuesta sería la de utilizar 'else if' declaraciones

Answer 3

Se podría construir una expresión regular para grep/Perl/emacs/etc para encontrar todos los lugares donde no hay breakcase antes.

Answer 4

La respuesta corta es no, no existe tal indicador en gcc para hacer eso. La caja del interruptor se usa para la caída más a menudo, por eso no tiene sentido tener una bandera de este tipo en gcc.

Answer 5

Esta comprobación está disponible en Cppcheck, un analizador estático gratuito para códigos C y C++. El cheque actualmente está marcado como "experimental", por lo que deberá usar el interruptor de línea de comando --experimental para encenderlo.

Esta comprobación advierte contra una cláusula caso no vacío que cae a través de la siguiente caso sin un estado de flujo de control, tales como break, continue, return, etc, menos hay un comentario con palabras tales como // fall through inmediatamente anterior a la próxima case.

Puede hacerse una idea de los tipos de construcciones que esto maneja al echar un vistazo a switchFallThroughCase test cases en el código fuente.

Answer 6

GCC 7 tiene un sistema de advertencia activado con -Wextra o -Wimplicit-fallthrough(=[1-5])?: https://developers.redhat.com/blog/2017/03/10/wimplicit-fallthrough-in-gcc-7/