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

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 [Содержание][Индекс]