-compiler armclang) ARM v6Задайте компилятор ARM v6
Задайте armclang для опции Compiler (-compiler), если вы компилируете свой код с компилятором ARM v6. Путем определения компилятора можно избежать ошибок компиляции от синтаксиса, который не является частью Стандарта, но прибывает из расширений языка.
Затем задайте свой тип целевого процессора. Если вы выбираете armclang for Compiler в пользовательском интерфейсе десктопных решений Polyspace®, вы видите, что только процессоры допускали компилятор ARM v6. Ваш выбор целевого процессора определяет размер основополагающих типов данных, порядок байтов целевой машины и определенные определения ключевого слова.
Если вы задаете компилятор armclang, необходимо задать путь к заголовочным файлам компилятора. Смотрите Обеспечивают Стандартные Заголовки Библиотеки для Анализа Polyspace.
Цели используют эти размеры по умолчанию в битах для фундаментальных типов. Вы не видите эти размеры в пользовательском интерфейсе десктопных решений Polyspace.
| Цель | 'char' | короткий | int | долго | долго долго | плавание | 'double' | долго дважды | ptr | Знак по умолчанию char | Порядок байтов | Выравнивание | Определение 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 без знака |
Параметр:
-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 |