ARM v6 Compiler (-compiler armclang)

Задайте компилятор ARM v6

Описание

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

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

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

Настройки

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

Цель'char'короткийintдолгодолго долгоплавание'double'долго дваждыptrЗнак по умолчанию charПорядок байтовВыравниваниеОпределение size_tОпределение wchar_t
arm81632326432646432без знакаМало64int без знакаint без знака
arm64816326464326412864без знакаМало128без знака долгоint без знака

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

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

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

Советы

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

Введенный в R2019a