-compiler codewarrior)Укажите компилятор NXP CodeWarrior
Задайте codewarrior для Compiler (-compiler) если вы компилируете свой код с помощью компилятора NXP CodeWarrior. Указав компилятор, можно избежать ошибок компиляции из синтаксиса, который не является частью Standard, но происходит из языковых расширений.
Затем укажите тип целевого процессора. Если вы выбираете codewarrior для Compiler, в пользовательском интерфейсе Polyspace® настольные продукты, вы видите только процессоры, разрешенные для компилятора NXP CodeWarrior. Ваш выбор целевого процессора определяет размер фундаментальных типов данных, конечность целевой машины и определенные определения ключевых слов.
Если вы задаете codewarrior компилятор, вы должны задать путь к файлам заголовка компилятора. Смотрите раздел «Предоставление заголовков стандартных библиотек для анализа Polyspace».
Целевые системы используют следующие размеры по умолчанию в битах для основных типов. Вы не видите эти размеры в пользовательском интерфейсе десктопных продуктов Polyspace.
| Цель | char | короткий | int | долго | длинный длинный | плавание | дважды | длинный двойной | ptr | Знак по умолчанию char | Endianness | Выравнивание | Определение size_t | Определение wchar_t |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
s12z | 8 | 16 | 16 | 32 | 32 | 32 | 32 | 32 | 24 | неподписанный | Большой | 8 | беззнаковый длинный | беззнаковый короткий |
powerpc | 8 | 16 | 32 | 32 | 64 | 32 | 64 | 64 | 32 | подписанный | Большой | 64 | беззнаковый длинный | беззнаковый короткий |
Спецификация компилятора также определяет значения многих макросов, специфичных для компилятора. Если вы хотите знать, как Polyspace задает определенный макрос, используйте опцию -dump-preprocessing-info.
Чтобы переопределить определение макроса, используйте опцию Preprocessor definitions (-D).
Чтобы не определить макрос, используйте опцию Disabled preprocessor definitions (-U).
Параметр:
-compiler codewarrior -target |
Значение:
s12z | powerpc |
По умолчанию:
s12z |
Пример (Bug Finder):
polyspace-bug-finder -compiler codewarrior -target powerpc |
Пример (Code Prover):
polyspace-code-prover -compiler codewarrior -target powerpc |
Пример (Bug Finder Server):
polyspace-bug-finder-server -compiler codewarrior -target powerpc |
Пример (Code Prover Server):
polyspace-code-prover-server -compiler codewarrior -target powerpc |
Если вы используете Polyspace в качестве расширений You Code в IDE, введите эту опцию в файл опций анализа. См. файл опций.