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