Ада-95. Компилятор GNAT



         

Опции компилятора - часть 2


Данная опция нуждается в аккуратном использовании поскольку это может привести к тому, что объектный файл и ALI-файл будут иметь различные имена, что в результате может "запутать" редактор связей gnatbind и компоновщик gnatlink.

-O[n]

 - 

Здесь, значение n определяет уровень оптимизации:

n = 0  - 

Оптимизация отсутствует, установлено по умолчанию если не указана опция -O

n = 1  - 

Нормальная оптимизация, установлено по умолчанию если указана опция -O

без операнда

n = 2  - 

Экстенсивная оптимизация

n = 3  - 

Экстенсивная оптимизация с автоматической встроенной подстановкой (inline). Это применяется только для встроенной подстановки внутри модулей.

-S

 - 

Используется совместно с опцией -c для генерации файла с исходным текстом на языке ассемблера (расширение имени файла .s) вместо файла с объектным кодом.

Это может быть полезно когда необходима проверка генерируемого кода для ассемблера.

-v

 - 

Установить "многословный" режим, который показывает все команды, генерируемые gcc

(gnatgcc).

Обычно используется только в целях отладки или когда необходимо убедиться в правильности используемой/запускаемой версии компилятора.

-V ver

 - 

Запустить на выполнение версию компилятора ver. Подразумевается версия gcc (gnatgcc), а не версия GNAT.

-funwind-tables

 - 

Эта опция производит генерацию объектного файла с unwind table information.

Это требуется для обработки исключений с нулевыми затратами производительности, которая использует трассировочные способности библиотеки GNAT.

-gnata

 - 

Активирует использование контрольных инструкций (assertion) устанавливаемых директивами компилятора "pragma Assert" и "pragma Debug".

-gnatb

 - 

Генерировать краткие сообщения на stderr даже при установленном опцией -v "многословном" режиме.

-gnatc

 - 

Выполнить проверку синтаксиса и семантики (без генерации какого-либо выходного кода).

-gnatD

 - 

Выводить расширенные исходные тексты для отладки на уровне исходных текстов. Эта опция подавляет генерацию информации о перекрестных ссылках (см. опцию -gnatx).

-gnate

 - 

Принудительная генерация сообщений об ошибках (используется в случае разрушения компилятора при компиляции).

-gnatE

 - 

Выполнить полную проверку динамической элаборации.

-gnatf

 - 

Полные ошибки. Множественные ошибки в одной строке, все неописанные ссылки.

-gnatF

 - 

Все внешние имена приводить к верхнему регистру.

-gnatg

 - 

Активация проверки стиля написания исходного текста.

-gnatG

 - 

Отобразить генерируемый расширенный код в виде исходного текста.

-gnatic

 - 

Установить кодировку символов для идентификаторов в исходном тексте (c=1/2/3/4/8/p/f/n/w).

-gnath

 - 

Выдать информацию об использовании. Вывод осуществляется на stdout.

-gnatkn

 - 

Ограничить длину имен файлов длиной n (1-999) символов (k = krunch).

-gnatl

 - 

Выводить полный листинг исходных текстов, включая встроенные сообщения об ошибках.

-gnatmn

 - 

Ограничить число детектируемых ошибок величиной n (1-999).

-gnatn

 - 

Активировать встроенную подстановку (inline) в пределах модуля для подпрограмм, которые указаны в директивах компилятора Inline.

-fno-inline

 - 

Подавить любые встроенные подстановки (inline), даже если активированы другие опции оптимизации и встроенная подстановка.

-fstack-check

 - 

Активировать проверку состояния стека.

-gnato

 - 

Активация прочих проверок, которые обычно не используются по умолчанию, включая проверку численного переполнения и проверку доступа до проверки элаборации.

-gnatp

 - 

Подавить все проверки.

-gnatq

 - 

При обнаружении ошибки синтаксического разбора, попытаться осуществить семантическую проверку.

-gnatP

 - 

Включение опроса.

Это требуется на некоторых системах (в частности, для Windows NT) для осуществления асинхронного принудительного прекращения и способности асинхронной передачи управления.

-gnatR

 - 

Вывести информацию о представлении описанных типов массивов и записей.

-gnats

 - 

Выполнить синтаксическую проверку.

-gnatt

 - 

Сгенерировать выходной файл дерева.

-gnatT nnn

 - 

Установить квант времени (time slice) в указанное число миллисекунд.

-gnatu

 - 

Вывести список модулей текущей компиляции.

-gnatU

 - 

Обозначить все сообщения об ошибках уникальной строкой "error:".

-gnatv

 - 

Установить "многословный" режим. Выполняется полный вывод сообщений об ошибках с выводом строк исходного текста на stdout.

-gnatwm

 - 

Установить режим выдачи предупредительных сообщений. Где m=s,e,l соответственно означает: подавление сообщений (suppress), трактовать как ошибку (treat as error), предупреждения элаборации (elaboration warnings).

-gnatWe

 - 

Установить кодировку для wide character

(e=n/h/u/s/e/8).

-gnatx

 - 

Подавление генерации информации о перекрестных ссылках.

-gnatwm

 - 

Режим предупреждающих сообщений.

-gnaty

 - 

Включение встроенной проверки стиля.

-gnatzm

 - 

Генерация и компиляция распределенных "заглушек". Где, m=r/c "заглушка" приемника (receiver)/вызова (caller).

-gnat83

 - 

Установить принудительные ограничения Ada 83.

-gnat95

 - 

Установить стандартный режим Ada 95.




Содержание  Назад  Вперед