-compiler armclang)Укажите компилятор ARM v6
Определить armclang для Compiler (-compiler) при компиляции кода с помощью компилятора ARM v6. Указывая компилятор, можно избежать ошибок компиляции из синтаксиса, который не является частью стандарта, но происходит от языковых расширений.
Затем укажите тип целевого процессора. При выборе armclang для компилятора в интерфейсе пользователя настольных продуктов Polyspace ® отображаются только процессоры, разрешенные для компилятора ARM v6. Ваш выбор целевого процессора определяет размер фундаментальных типов данных, полноту целевой машины и определённые определения ключевых слов.
При указании armclang необходимо указать путь к файлам заголовка компилятора. См. раздел Предоставление стандартных заголовков библиотек для анализа полиспейсов.
Целевые объекты используют эти размеры по умолчанию в битах для фундаментальных типов. Эти размеры не отображаются в интерфейсе пользователя настольных продуктов Polyspace.
| Цель | случайная работа | короткий | интервал | долго | длинная | плавание | дважды | длинный двойник | ptr | Знак символа по умолчанию | 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 |
Пример (поиск ошибок):
polyspace-bug-finder -compiler armclang -target arm64 |
Пример (проверка кода):
polyspace-code-prover -compiler armclang -target arm64 |
Пример (сервер поиска ошибок):
polyspace-bug-finder-server -compiler armclang -target arm64 |
Пример (сервер проверки кода):
polyspace-code-prover-server -compiler armclang -target arm64 |
Если в качестве расширений кода в IDE используется Polyspace, введите эту опцию в файл опций анализа. См. файл параметров.