-compiler diab)Задайте компилятор Wind River Diab
Задайте diab для Compiler (-compiler) если вы скомпилируете свой код с помощью Wind River® Компилятор Diab. Указав компилятор, можно избежать ошибок компиляции из синтаксиса, который не является частью Standard, но происходит из языковых расширений.
Затем укажите тип целевого процессора. Если вы выбираете diab для Compiler, в пользовательском интерфейсе Polyspace® настольных продуктов, вы видите только процессоры, разрешенные для Diab компилятора. Ваш выбор целевого процессора определяет размер фундаментальных типов данных, конечность целевой машины и определенные определения ключевых слов.
Если вы задаете diab компилятор, вы должны задать путь к файлам заголовка компилятора. Смотрите раздел «Предоставление заголовков стандартных библиотек для анализа Polyspace».
Целевые системы используют следующие размеры по умолчанию в битах для основных типов. Вы не видите эти размеры в пользовательском интерфейсе десктопных продуктов Polyspace.
| Цель | char | короткий | int | долго | длинный длинный | плавание | дважды | длинный двойной | ptr | Знак по умолчанию char | Endianness | Выравнивание |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
i386 | 8 | 16 | 32 | 32 | 64 | 32 | 64 | 96 | 32 | подписанный | Мало | 32 |
powerpc | 8 | 16 | 32 | 32 | 64 | 32 | 64 | 64 | 32 | неподписанный | Большой | 64 |
powerpc64 | 8 | 16 | 32 | 64 | 64 | 32 | 64 | 64 | 64 | неподписанный | Большой | 64 |
arm | 8 | 16 | 32 | 32 | 64 | 32 | 64 | 64 | 32 | неподписанный | Большой | 64 |
coldfire | 8 | 16 | 32 | 32 | 64 | 32 | 64 | 64 | 32 | подписанный | Большой | 64 |
mips | 8 | 16 | 32 | 32 | 64 | 32 | 64 | 64 | 32 | подписанный | Большой | 64 |
mcore | 8 | 16 | 32 | 32 | 64 | 32 | 64 | 64 | 32 | неподписанный | Большой | 64 |
rh850 | 8 | 16 | 32 | 32 | 64 | 32 | 64 | 64 | 32 | подписанный | Мало | 32 |
superh | 8 | 16 | 32 | 32 | 64 | 32 | 64 | 64 | 32 | подписанный | Большой | 64 |
tricore | 8 | 16 | 32 | 32 | 64 | 32 | 64 | 64 | 32 | подписанный | Мало | 64 |
68k, sparc | Не поддерживается. | |||||||||||
В сложение, wchar_t интерпретируется как unsigned short и size_t интерпретируется как unsigned int.
Спецификация компилятора также определяет значения многих макросов, специфичных для компилятора. Если вы хотите знать, как Polyspace задает определенный макрос, используйте опцию -dump-preprocessing-info.
Чтобы переопределить определение макроса, используйте опцию Preprocessor definitions (-D).
Чтобы не определить макрос, используйте опцию Disabled preprocessor definitions (-U).
Если вы столкнулись с ошибками во время анализа Polyspace, см. «Ошибки, связанные с Компилятор».
Если вы используете Polyspace в качестве расширений You Code в IDE, введите эту опцию в файл опций анализа. См. файл опций.
Параметр: -compiler diab -target |
Значение: i386 | powerpc | arm | coldfire | mips | mcore | rh850 | superh | tricore |
По умолчанию: powerpc |
Пример (Bug Finder): polyspace-bug-finder -compiler diab -target tricore |
Пример (Code Prover): polyspace-code-prover -compiler diab -target tricore |
Пример (Bug Finder Server):
polyspace-bug-finder-server -compiler diab -target tricore |
Пример (Code Prover Server):
polyspace-code-prover-server -compiler diab -target tricore |