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

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

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

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

fallthrough

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