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.