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