Por que o GCC está me avisando sobre uma queda, mesmo quando eu uso [[fallthrough]]?

No código a seguir, uso o [[fallthrough]]atributo padrão do C ++ 1z para documentar que uma falha é desejada:

#include <iostream>

int main() {
    switch (0) {
        case 0:
            std::cout << "a\n";
            [[fallthrough]]
        case 1:
            std::cout << "b\n";
            break;
    }
}

Com o GCC 7.1, o código é compilado sem erros. No entanto, o compilador ainda me avisa sobre uma queda:

warning: this statement may fall through [-Wimplicit-fallthrough=]
    std::cout << "a\n";
    ~~~~~~~~~~^~~~~~~~

Por quê?

— s3rvac
fonte

E aqui estava eu, pensando que vocês, pessoal do C ++, não poderiam tornar as coisas ainda mais feias!

— SnakeDoc

@SnakeDoc: É um presente!

— Deduplicator

@SnakeDoc Esse deveria ser um comentário sobre a resposta, o que a torna ainda pior. :)

Não concordo com os votos fechados. O motivo "um erro tipográfico simples" existe para os casos em que o problema do OP só ocorreu devido a algum erro não relacionado à descrição da pergunta e não será útil para mais ninguém. Neste caso é bem provável que outras pessoas se esqueçam do ponto-e-vírgula naquele local, obtenham o mesmo erro e encontrem esta questão ao procurar uma solução.

— CodesInChaos

Não gostei muito que meu comentário tenha sido removido desta pergunta, então sou forçado a repeti-lo novamente - embora se trate de um erro tipográfico, é muito provável que outros usuários o repitam, pesquisem e encontrem essa pergunta com esta resposta. Como tal, é uma boa pergunta e uma boa resposta e merece ser deixada em aberto.

— Barry

105

Está faltando um ponto e vírgula após o atributo:

case 0:
    std::cout << "a\n";
    [[fallthrough]];
    //             ^
case 1:

O [[fallthrough]]atributo deve ser aplicado a uma instrução vazia (ver P0188R1 ). O tronco Clang atual apresenta um erro útil neste caso :

error: fallthrough attribute is only allowed on empty statements
    [[fallthrough]]
      ^
note: did you forget ';'?
    [[fallthrough]]
                   ^
                   ;

Atualização: Cody Gray relatou esse problema à equipe do GCC.

— s3rvac
fonte

Mencionar a que o atributo se aplica sem o ponto-e-vírgula seria bom. Presumo que seja para o próximo caso?

— CodesInChaos

@CodesInChaos fallthrough attribute is only allowed on empty statements; uma vez que não é seguido por uma instrução vazia, o gcc simplesmente o ignora

— musicman523

@ musicman523 Isso ... parece ... errado? Aparentemente, seria mais lógico exigir um ponto e vírgula, mesmo quando seguido por uma instrução vazia, e simplesmente se recusar a compilar de outra forma.

— SnakeDoc

@SnakeDoc Aparentemente, é apenas um caso particular de atributos de instrução, então o analisador permite isso, mas não tem nenhuma semântica quando aplicado a uma instrução não vazia. Considere isso um bug, se desejar, e clangconserte-o.

— Barmar de

@CodesInChaos Sem o ponto-e-vírgula, o atributo pertenceria ao rótulo.

— TC