Чому GCC попереджає мене про провал, навіть коли я використовую [[провал]]?

У наступному фрагменті коду я використовую стандартний [[fallthrough]]атрибут із C ++ 1z, щоб задокументувати бажаність проходження:

#include <iostream>

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

У GCC 7.1 код компілюється без помилок. Однак компілятор все ще попереджає мене про провал:

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

Чому?

Вам не вистачає крапки з комою після атрибута:

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

[[fallthrough]]Атрибут повинні бути застосований до порожнього оператору (див P0188R1 ). Поточний стовбур Clang видає корисну помилку в цьому випадку :

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

Оновлення: Коді Грей повідомив про цю проблему команду GCC.