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.