ARM v5 Compiler (-compiler armcc)

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

Описание

Задайте armcc для Compiler (-compiler) опция, если вы скомпилируете свой код с помощью компилятора ARM v5. Указав компилятор, можно избежать ошибок компиляции из синтаксиса, который не является частью Standard, но происходит из языковых расширений.

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

Если вы задаете armcc компилятор, вы должны задать путь к файлам заголовка компилятора. Смотрите раздел «Предоставление заголовков стандартных библиотек для анализа Polyspace».

Настройки

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

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

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

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

Параметр: -compiler armcc -target
Значение: arm
По умолчанию: arm
Пример (Bug Finder): polyspace-bug-finder -compiler armcc -target arm
Пример (Code Prover): polyspace-code-prover -compiler armcc -target arm
Пример (Bug Finder Server): polyspace-bug-finder-server -compiler armcc -target arm
Пример (Code Prover Server): polyspace-code-prover-server -compiler armcc -target arm

Совет

Если вы используете Polyspace в качестве расширений You Code в IDE, введите эту опцию в файл опций анализа. См. файл опций.

Введенный в R2019a