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