Tại sao GCC cảnh báo tôi về lỗi dự phòng ngay cả khi tôi sử dụng [[dự phòng]]?

Trong đoạn mã sau, tôi sử dụng [[fallthrough]]thuộc tính tiêu chuẩn từ C ++ 1z để ghi lại rằng mong muốn có một đường dự phòng:

#include <iostream>

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

Với GCC 7.1, mã biên dịch không có lỗi. Tuy nhiên, trình biên dịch vẫn cảnh báo tôi về một lỗi:

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

Tại sao?

Bạn thiếu dấu chấm phẩy sau thuộc tính:

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

Các [[fallthrough]]thuộc tính là được áp dụng cho một tuyên bố rỗng (xem P0188R1 ). Thân cây Clang hiện tại đưa ra một lỗi hữu ích trong trường hợp này :

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

Cập nhật: Cody Gray đã báo cáo vấn đề này cho nhóm GCC.