-compiler renesas)Укажите компилятор Renesas
Определить renesas для Compiler (-compiler) при компиляции кода с помощью компилятора Renesas ®. Указывая компилятор, можно избежать ошибок компиляции из синтаксиса, который не является частью стандарта, но происходит от языковых расширений.
Затем укажите тип целевого процессора. При выборе renesas для компилятора в интерфейсе пользователя настольных продуктов Polyspace ® отображаются только процессоры, разрешенные для компилятора Renesas. Ваш выбор целевого процессора определяет размер фундаментальных типов данных, полноту целевой машины и определённые определения ключевых слов.
При указании renesas необходимо указать путь к файлам заголовка компилятора. См. раздел Предоставление стандартных заголовков библиотек для анализа полиспейсов.
Целевые объекты используют эти размеры по умолчанию в битах для фундаментальных типов. Эти размеры не отображаются в интерфейсе пользователя настольных продуктов Polyspace.
| Цель | случайная работа | короткий | интервал | долго | длинная | плавание | дважды | длинный двойник | ptr | Знак символа по умолчанию | Endianness | Выравнивание | Определение size_t | Определение wchar_t |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
rl78 | 8 | 16 | 16 | 32 | 64 | 32 | 32 | 32 | 16 | неподписанный | Мало | 16 | неподписанная int | неподписанный короткий |
rh850 | 8 | 16 | 32 | 32 | 64 | 32 | 64 | 64 | 32 | неподписанный | Мало | 32 | неподписанная int | подписанный короткий |
rx | 8 | 16 | 32 | 32 | 64 | 32 | 32 | 32 | 32 | неподписанный | Мало | 32 | неподписанная int | подписанный короткий |
sh | 8 | 16 | 32 | 32 | 64 | 32 | 64 | 64 | 32 | подписанный | Мало | 32 | неподписанный длинный | Н/Д |
Спецификация компилятора также определяет значения многих специфичных для компилятора макросов. Если требуется узнать, как Polyspace определяет определенный макрос, используйте опцию -dump-preprocessing-info.
Чтобы переопределить определение макроса, используйте параметр Preprocessor definitions (-D).
Чтобы отменить определение макроса, используйте параметр Disabled preprocessor definitions (-U).
Параметр:
-compiler renesas -target |
Значение:
rl78 | rh850 | rx | sh |
По умолчанию:
rl78 |
Пример (поиск ошибок):
polyspace-bug-finder -compiler renesas -target rx |
Пример (проверка кода):
polyspace-code-prover -compiler renesas -target rx |
Пример (сервер поиска ошибок):
polyspace-bug-finder-server -compiler renesas -target rx |
Пример (сервер проверки кода):
polyspace-code-prover-server -compiler renesas -target rx |
Если в качестве расширений кода в IDE используется Polyspace, введите эту опцию в файл опций анализа. См. файл параметров.