Texas Instruments Compiler (-compiler ti)

Задайте компилятор Texas Instruments

Описание

Задайте ti для Compiler (-compiler) если вы компилируете свой код с помощью компилятора Texas Instruments. Путем определения компилятора можно избежать ошибок компиляции от синтаксиса, который не является частью Стандарта, но прибывает из расширений языка.

Затем задайте свой тип целевого процессора. Если вы выбираете ti для Compiler, в пользовательском интерфейсе десктопных решений Polyspace®, вы видите, что только процессоры допускали компилятор Texas Instruments. Ваш выбор целевого процессора определяет размер основополагающих типов данных, порядок байтов целевой машины и определенных определений ключевого слова.

Если вы задаете ti компилятор, необходимо задать путь к заголовочным файлам компилятора. Смотрите Обеспечивают Стандартные Заголовки Библиотеки для Анализа Polyspace.

Настройки

Цели используют следующие размеры по умолчанию в битах для фундаментальных типов. Вы не видите эти размеры в пользовательском интерфейсе десктопных решений Polyspace.

Цель'char'короткийintдолгодолго долгоплавание'double'долго дваждыptrЗнак по умолчанию charПорядок байтовВыравниваниеОпределение size_tОпределение wchar_t
c28x161616326432326432со знакомМало32без знака долгоint без знака
c600081632326432646432со знакомМало64int без знакакороткое целое без знака
arm81632326432646432без знакаБольшой64int без знакакороткое целое без знака
msp43081616326432646416без знакаМало16int без знакаint без знака

Ваша спецификация компилятора также определяет значения многих специфичные для компилятора макросы. В случае, если вы хотите знать, как Polyspace задает определенный макрос, используйте опцию -dump-preprocessing-info.

Советы

Polyspace не поддерживает некоторые построения, характерные для компилятора Texas Instruments.

Для списка неподдерживаемых построений смотрите codeprover_limitations.pdf в polyspaceroot\polyspace\verifier\code_prover_desktop. Здесь, polyspaceroot папка установки Polyspace, например, C:\Program Files\Polyspace\R2019a.

Если вы используете Polyspace в качестве Вас Расширения кода в ИДАХ, введите эту опцию в файл опций анализа. Смотрите файл опций.

Информация о командной строке

Параметр: -compiler ti -target
Значение: c28x | c6000 | arm | msp430
Значение по умолчанию: c28x
Пример (Bug Finder): polyspace-bug-finder -compiler ti -target msp430
Пример (программа автоматического доказательства кода): polyspace-code-prover -compiler ti -target msp430
Пример (сервер Bug Finder): polyspace-bug-finder-server -compiler ti -target msp430
Пример (сервер программы автоматического доказательства кода): polyspace-code-prover-server -compiler ti -target msp430
Введенный в R2018a