6.38 Атрибуты операторов

GCC позволяет задавать атрибуты для пустых операторов. Подробнее о синтаксисе использования атрибутов см. в Синтаксисе атрибутов. Другие атрибуты доступны для функций (см. Атрибуты функций), переменных (см. Атрибуты переменных), меток (см. Атрибуты меток), перечислителей (см. Атрибуты перечислителей) и типов (см. Атрибуты типов).

В этом примере используется атрибут оператора fallthrough для указания, что предупреждение -Wimplicit-fallthrough не должно генерироваться:

switch (cond)
  {
  case 1:
    bar (1);
    __attribute__((fallthrough));
  case 2:
    …
  }

fallthrough

Атрибут fallthrough, используемый с пустым оператором, служит оператором перехода. Он указывает компилятору, что проход к другой метке case или пользовательской метке в операторе switch является намеренным, и поэтому предупреждение -Wimplicit-fallthrough не должно срабатывать. Атрибут fallthrough может появляться не более одного раза в каждом списке атрибутов и не может быть смешан с другими атрибутами. Он может использоваться только в операторе switch (в противном случае компилятор выдаст ошибку), после предшествующего оператора и перед логически последующей меткой case или пользовательской меткой.