-compiler renesas)Задайте компилятор Renesas
Задайте renesas для Compiler (-compiler) опция, если вы компилируете свой код с Renesas® компилятор. Указав компилятор, можно избежать ошибок компиляции из синтаксиса, который не является частью Standard, но происходит из языковых расширений.
Затем укажите тип целевого процессора. Если вы выбираете renesas для Compiler, в пользовательском интерфейсе Polyspace® настольных продуктов, вы видите только процессоры, разрешенные для компилятора Renesas. Ваш выбор целевого процессора определяет размер фундаментальных типов данных, конечность целевой машины и определенные определения ключевых слов.
Если вы задаете renesas компилятор, вы должны задать путь к файлам заголовка компилятора. Смотрите раздел «Предоставление заголовков стандартных библиотек для анализа Polyspace».
Целевые системы используют эти размеры по умолчанию в битах для основных типов. Вы не видите эти размеры в пользовательском интерфейсе десктопных продуктов Polyspace.
| Цель | char | короткий | int | долго | длинный длинный | плавание | дважды | длинный двойной | ptr | Знак по умолчанию char | 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 |
Пример (Bug Finder):
polyspace-bug-finder -compiler renesas -target rx |
Пример (Code Prover):
polyspace-code-prover -compiler renesas -target rx |
Пример (Bug Finder Server):
polyspace-bug-finder-server -compiler renesas -target rx |
Пример (Code Prover Server):
polyspace-code-prover-server -compiler renesas -target rx |
Если вы используете Polyspace в качестве расширений You Code в IDE, введите эту опцию в файл опций анализа. См. файл опций.