Cómo hacer que gcc/clang advierta sobre saltos faltantes en instrucciones de cambio

Question

¿Hay alguna forma de hacer que gcc o clang adviertan acerca de fallas en las declaraciones de interruptores?

Específicamente, casi siempre quiero que las declaraciones de casos finalicen con descansos, y sería fantástico si pudiera hacer que el compilador se quejara si no lo hago. Aún mejor sería si buscara una declaración de interrupción o un comentario de "// caerse".

¿Hay alguna solución diferente que las personas utilicen para ayudarse a sí mismas a no arruinar esto?

Answer 1

Con Clang tronco, utilizar -Wimplicit-fallthrough. Si está utilizando C++ 11, la transición intencional se puede marcar con una declaración [[clang::fallthrough]]; (consulte the documentation para obtener más información). La advertencia no (todavía) verifica los comentarios de "fallido". Esta característica no estará en la próxima versión 3.1 de Clang, pero estará (¡probablemente!) En 3.2.

Editar: El atributo de Clang es ahora parte de C++ 17, bajo el nombre [[fallthrough]];.

Answer 2

Por lo que puedo ver, sigue siendo una solicitud de función no asignada en gcc.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=7652

Answer 3

Se preguntó que sería grande si va a buscar ya sea una sentencia break o un "// caer a través de" comentario.

¿Recuerda la primera de Henry Spencer de la Ten Commandments for C programmers?

1. Tú carrera pelusa frecuencia

Parece que lo que necesita es PC-Lint/flexelint. Aquí está advirtiendo a 616:

616 de control desemboca en caso/default - Es posible que el flujo de control para caer en una declaración de caso o una declaración por defecto de anteriormente. ¿Fue esto deliberado o el programador se olvidó de insertar una declaración de interrupción ? Si esto fue deliberado luego colocar un comentario inmediatamente antes de la declaración que fue marcado como en:

case 'a': a = 0; 
    /* fall through */ 
case 'b': a++;