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

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.