6.34 Атрибуты меток

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

В этом примере используется атрибут метки cold, чтобы указать, что ветвь ErrorHandling маловероятна для выполнения, и что метка ErrorHandling не используется:

asm goto ("some asm" : : : : NoError);

/* This branch (the fall-through from the asm) is less commonly used */
ErrorHandling: 
   __attribute__((cold, unused)); /* Semi-colon is required here */
   printf("error\n");
   return 0;

NoError:
   printf("no error\n");
   return 1;

unused

Эта функция предназначена для сгенерированного программой кода, который может содержать неиспользуемые метки, но который компилируется с -Wall. Обычно её не следует использовать в коде, написанном человеком, хотя она может быть полезна в случаях, когда код, переходящий к метке, находится внутри #ifdef условного оператора.

hot

Атрибут hot метки используется для информирования компилятора о том, что путь, следующий за меткой, более вероятен, чем пути, которые не проанонсированы таким образом. Этот атрибут используется в случаях, когда __builtin_expect не может быть использован, например, с вычисленным переходом или asm goto.

cold

Атрибут cold для меток используется для информирования компилятора о том, что путь, следующий за меткой, маловероятен для выполнения. Этот атрибут используется в случаях, когда __builtin_expect не может быть использован, например, с вычисленным переходом или asm goto.

Далее: Атрибуты перечислителей, Предыдущее: Атрибуты типов, Вверх: Расширения языка C [Содержание][Индекс]