[[fallthrough]]を使用しても、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]]
                   ^
                   ;

更新：CodyGrayはこの問題をGCCチームに報告しました。