-compiler
armclang)Задайте ARM v6 компилятор
Задайте armclang для Compiler (-compiler) опция, если вы скомпилируете свой код с помощью компилятора ARM v6. Указав компилятор, можно избежать ошибок компиляции из синтаксиса, который не является частью Standard, но происходит из языковых расширений.
Затем укажите тип целевого процессора. Если вы выбираете armclang для Compiler, в пользовательском интерфейсе Polyspace® настольных продуктов, вы видите только процессоры, разрешенные для ARM v6 компилятора. Ваш выбор целевого процессора определяет размер фундаментальных типов данных, конечность целевой машины и определенные определения ключевых слов.
Если вы задаете armclang компилятор, вы должны задать путь к файлам заголовка компилятора. Смотрите раздел «Предоставление заголовков стандартных библиотек для анализа Polyspace».
Целевые системы используют эти размеры по умолчанию в битах для основных типов. Вы не видите эти размеры в пользовательском интерфейсе десктопных продуктов Polyspace.
| Цель | char | короткий | int | долго | длинный длинный | плавание | дважды | длинный двойной | ptr | Знак по умолчанию char | Endianness | Выравнивание | Определение size_t | Определение wchar_t |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
arm | 8 | 16 | 32 | 32 | 64 | 32 | 64 | 64 | 32 | неподписанный | Мало | 64 | без знака int | без знака int |
arm64 | 8 | 16 | 32 | 64 | 64 | 32 | 64 | 128 | 64 | неподписанный | Мало | 128 | беззнаковый длинный | без знака int |
Спецификация компилятора также определяет значения многих макросов, специфичных для компилятора. Если вы хотите знать, как Polyspace задает определенный макрос, используйте опцию -dump-preprocessing-info.
Чтобы переопределить определение макроса, используйте опцию Preprocessor definitions (-D).
Чтобы не определить макрос, используйте опцию Disabled preprocessor definitions (-U).
Параметр:
-compiler armclang -target |
Значение:
arm | arm64 |
По умолчанию:
arm |
Пример (Bug Finder):
polyspace-bug-finder -compiler armclang -target arm64 |
Пример (Code Prover):
polyspace-code-prover -compiler armclang -target arm64 |
Пример (Bug Finder Server):
polyspace-bug-finder-server -compiler armclang -target arm64 |
Пример (Code Prover Server):
polyspace-code-prover-server -compiler armclang -target arm64 |
Если вы используете Polyspace в качестве расширений You Code в IDE, введите эту опцию в файл опций анализа. См. файл опций.