GCC - The Complete Reference (537669), страница 20
Текст из файла (страница 20)
Этот атрибут действует не для всех целевых машин. Функция, объявленная как 1и11ие, и имеющая этот атрибут будет всегда расширяться подстановкой кода даже в том случае, когда не назначается никакой оптимизации. Обычно подстановка кода функций производится во время оптимизации. Далее — пример прототипа функции, вызовы которой всегда будут расширяться подстановкой кода: 1и11ие чо16 1иеи() ассг1Ьисв ((в1нвув 1и11ие] ) г Функция с таким атрибутом имеет те же свойства, что и с атрибутом риге, но кроме этого она не считывает никаких значений иэ глобальной памяти.
Это дает оптимизатору большую свободу чем атрибут риге, потому что отпадает необходимость в проверке изменения значений глобальных величин перед вызовом функции. Функция с этим атрибутом вызывается автоматически до передачи управления главной подпрограмме жа1и ( ) . См.
также атрибут вевсгиссог. Не актуальные более функции (либо по каким-нибудь причинам не соответствующие) целесообразно компилировать с этой опцией. При каждом вызове такой функции будет выдаваться предупредительное сообщение, включающее информацию о расположении такой (Оергеса(ед) функции и сообщающее пользователю источник более подробных сведений.
Функция с этим атрибутом вызывается автоматически после возврата иэ процудуры мази( ) либо сразу после вызова функции еж1с ( ) . См. также атрибутсоивсгиссог. Функция с таким атрибутом имеет один аргумент, являющийся строкой формата, и переменное число аргументов, к которым применяется этот формат. Это дает компилятору воэможность проверять содержимое аргументов из списка на соответствие его типа применяемому формату.
Существует несколько типов форматирования, поэтому необходимо также указать стиль формата. Стили соответствуют применяемым в языке С для стандартных функций рг1исг(), всииг(), всгесьже() и всгсжои(). Например, следующий атрибут указывает, что второй аргумент, передаваемый функции, является форматирующей строкой, и что эта форматирующая строка имеет тип формата, соответствующий команде рг1исс(], а также, что список аргументов переменной длины начинается с третьего аргумента; и1нвув-1и11ив соивс соивСгисСог Вергесвсеб аевкгисьог 1огввс Таблица 4.3 перечисляет набор атрибутов функций. Таблица 4 4 содержит атрибуты, допустимые при объявлении данных, в таблице 4.5 перечислены атрибуты, которые могут назначаться при объявлении типов даных. 90 Часть Кс Использование Сборного Компилятора Олавввве 1иг 1одрг1иСЕ ( чо1д 1од, сЬат Еюг, ...
) вссг1Ьисе ((Еоюхас(ртйпсй,2,3))); Предупреждения о несоответствии форматирующей строки указанному типу вырабатываются при назначении опции компилятора -ийогюас. Функция с таким атрибутом принимает в одном иэ аргументов форматирующую строку и вносит такие изменения в передаваемую ею строку, чтобы результат мог быть затем передан функции типа рт1исй ( ), всвпй(), всгесйюе(), встЕюоп(). Использование этого атрибута подавляет предупре]кдения, вырабатываемые при установке опции компилятора -ийотиюг-иои11сета1 (опция применяется для обнаружения неконстантных форматирующих строк).
Следующий пример показывает установку этого атрибута для функции, имеющей вторым аргументом строку формата: Еогюас вгд юа11ос ио 1ивсгшпеис 'Еииссйои ио1п11ие потегиги рите весс1ои иввд ио1д Еед1С (Еиг ш)х, соивг чйюг) асст1ьисв ( (йогвюс ахд(2) ) ) ) Этот атрибут сообщает компилятору, что функция может применяться подобно стандартной функции юв11ос(]. При выполнении оптимизации компилятор учитывает, что воэвращаеый указатель не должен иметь синонимов (айазеэ).
Функция с таким атрибутом не будет инструментирована и в нее не будет включаться профилирующий код, вставляемый компилятором. Даже при применении опции -е1ивстшивис-йипсс1опв. Функция с таким атрибутом не будет расширяться подстановкой кода (!и!(пе). Функция с этим атрибутом не возвращает управление вызывающей ее структуре. Функция с таким атрибутом не оказывает влияния на другие величины, кроме возвращаемого ею значения, То есть, она не изменяет глобальных переменных, передаваемых в аргументах адресов, содержимого файлов.
В отличие от атрибута соивс функция с этим атрибутом использует значения глобальных переменных, но все же не изменяет их. Применение этих условий дает компилятору воэможность выполнения общей оптимизации применяемых в функции выражений, так как гарантируется постоянство используемых в них внешних значений. Функция с таким атрибутом будет иметь именованные разделы (секции) ассемблерного кода (вместо одного раздела сехс по умолчанию). Вот пример заголовка функции, имеющей раздел с именем врвс1в1в: ио1д перес (чо1д) аггг1Ьигв ((весС1ои("вресйв1в") ) ] ( Этот атрибут будет игнорироваться в системах, не поддерживающих секционирование, Этот атрибут указывает компилятору генерировать код тела функции даже тогда, когда он определяет, что функция нигде не используется.
Это может пригодиться для функций, вызываемых из вставляемого ассемблерного кода. Функция с таким атрибутом будет иметь замещаемое символическое имя вместо глобального символического имени. В основном зто применяется для библиотечных функций, которые могут эамещаться пользовательским кодом Елввв 4. Компиляция программ на языке С 9 1 Таблица 4.4. Атрибуты, используемые при объявлении данных Овидвиив Переменная с этим атрибутом имеет выравнивание к адресу, равное целой части указанного числа. Например, следующее объявление указывает, что к в11на1ив применяется выравнивание по границе 32-бита: а11дпей 1пс а11иа1ие ассгхЬисе ((а11дпей(32)!)г Применение выравнивания удобно в некоторых системах для размещения определенных ассемблерных инструкций. Оно также применяется для полей структуры, которые должны принимать форматированные данные из файла.
Если число для выравнивания не указано, та компилятор применяет выравнивание к границе наиболее длинного типа данных, обрабатаваемого процессором, как в следующем примере: еьогс вь11ес [332) ассгсьисе ((взсдп) ) Каждая ссылка на переменную, объявленную с этим атрибутом, будет вызывать выдачу компилятором предупредительного сообщения. Переменной с этим атрибутом назначается размер, соответствующий указанному в параметре атрибута типу (Ьусе, иогй или ро1псег). Атрибут пюйе также определяет и тип даных. Например, так обьявляется переменная целочисленного типа размером в [ байт: йергесаией вийе 1пс х ассг1ьисв ((войв(Ьусе)))г посовпюп раскей вкгиск вгасогй ( сЬаг 1йг 1пс каг [32) ассг1Ьиие ((расвей)!г )г См.
также опции -Срасв-всгисс и -ираскей в приложении Г Переменная с этим атрибутом будет помещена в именованный раздел вместо разделов по умолчанию йаса или Ьвв. Далее — пример функции, помещаемой в секцию именем йовх: ввсс1оп есгисс йовх втсг1ьисе ((весс1оп("йовх" ) ) ) (О); 1пс сг[ддег ассг1ьисе ((ввсс1оп("иоиьос"))) о г Вследствие способа действий над даными, применяемого компоновщиком, данные, размещаемые в именованных секциях, должны иметь первоначал~нов значение.
Этот атрибут будет игнорироваться в системах, не поддерживающих секционирования. Принудительная инициализация переменных может быть включена при необходимости опцией командной строки -Епо-совпюп. С таким атрибутом переменная ыожет нигде в программе не использоваться, и по этому поводу компилятор не будет выдавать никаких предупреждений.
ипивей Переменая с таким атрибутом не размещается в общей области данных, вместо этого ей выделяется собственное пространство. Значение переменной при этом инициализируется нулями. Назначение опции компилятора -Спо-соввоп приводит к применению этого атрибута ко всем переменным. С этим атрибутом переменная имеет наименьшее возможное выравнивание. Переменная будет отделена от предшествующего ей поля не более чем одним байтом.
В структуре псле с таким атрибутом будет размещаться без промежутка между ним и следующим за ним полем. Например, в следующей структуре начало массива с именем ввг выравнивается со сдвигом точно на один байт от вершины структуры: 92 Часть И. Использование Сборного Компилятора Опасение Переменной с таким атрибутом будет отведено пространство, общий размер которого определяется как размер комплексного числа. Вот пример объявления вектора данных с плавающей точкой: гесьсг е(ке Е1сак Егес аккгзъике !(гесьог в1ке(32)))/ Учитывая, что тип данных Е1оас имеет длину 4 байта, мы видим, что зто объявление создает блок общей длиной 32 байта, который может содержать 8 чисел с плавающей точкой.
Этот атрибут применим только для целых и вещественных скалярных чисел. Переменная с таким атрибутом будет иметь имя, выделенное как замещаемый (слабый) символ вместо глобального имени. В основном это применяется для библиотечных объектов, которые могут быть замещены пользовательским кодом. не ах Таблица 4.5.
Атриб ты, используемые при объявлении типов данных Олясаяяа Тип, объявленный с этим атрибутом, имеет выравнивание в памяти, равное целой части числа, которое указанно е параметре атрибута. Например, поля следующей структуры будут выравниваться по границе 32 бит: э11длее екгиск Ь1сс)аь ( сЬагз [З)т ) акгг1Ьиге ((а11доеа(32)))/ Эергесасед раскеа сгапврагеас ил1оа /к Сгалер.с */ Е(ас1иае <всЖо.ъ> Суредес оа(оа ( Сзсак *ту 1ас *1! сссгьусев ассг1ьисе ( (ьгалврагеас цл(ос) ) гоМ еьоиъокЬ(соигЬугев ЕЬ) То же выравнивание может быть получено при применении атрибута э1(япеэ к первому члену структуры. Атрибут а1(япеэ может использоваться только для увеличения выравнивания, не для его уменьшения.
Некоторые компоновщики могут устанавливать компилятору ограничение на наибольшее возможное значение выравнивания. Тип, объявленный с таким атрибутом, вызывает предупредительное сообщение компилятора, выдаваемое каждый раз, когда этот тип используется в объявлениях. Сообщение включает информацию о расположении объявления этого типа.
Структура (э(гас() или объединение (оп)ап), объявленные с этим параметром, занимают наименьший возможный размер в памяти. Это равнозначно применению атрибута раскеа для каждого члена структуры или объединения. Объединение (цп(оп), объявляемое с этим атрибутом, и используемое как тип параметра при объявлении функции, делает для этой функции возможным воспринимать е качестве аргумента любой из типов данных, определенных в таком объединении.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
