Renesas Compiler (-compiler renesas)

Задайте компилятор Renesas

Описание

Задайте renesas для Compiler (-compiler) опция, если вы компилируете свой код с компилятором Renesas®. Путем определения компилятора можно избежать ошибок компиляции от синтаксиса, который не является частью Стандарта, но прибывает из расширений языка.

Затем задайте свой тип целевого процессора. Если вы выбираете renesas для Compiler, в пользовательском интерфейсе десктопных решений Polyspace®, вы видите, что только процессоры допускали компилятор Renesas. Ваш выбор целевого процессора определяет размер основополагающих типов данных, порядок байтов целевой машины и определенные определения ключевого слова.

Если вы задаете renesas компилятор, необходимо задать путь к заголовочным файлам компилятора. Смотрите Обеспечивают Стандартные Заголовки Библиотеки для Анализа Polyspace.

Настройки

Цели используют эти размеры по умолчанию в битах для фундаментальных типов. Вы не видите эти размеры в пользовательском интерфейсе десктопных решений Polyspace.

Цель'char'короткийintдолгодолго долгоплавание'double'долго дваждыptrЗнак по умолчанию charПорядок байтовВыравниваниеОпределение size_tОпределение wchar_t
rl7881616326432323216без знакаМало16int без знакакороткое целое без знака
rh85081632326432646432без знакаМало32int без знакасо знаком короткий
rx81632326432323232без знакаМало32int без знакасо знаком короткий
sh81632326432646432со знакомМало32без знака долгоНет данных

Ваша спецификация компилятора также определяет значения многих специфичные для компилятора макросы. В случае, если вы хотите знать, как Polyspace задает определенный макрос, используйте опцию -dump-preprocessing-info.

Информация о командной строке

Параметр: -compiler renesas -target
Значение: rl78 | rh850 | rx | sh
Значение по умолчанию: rl78
Пример (Bug Finder): polyspace-bug-finder -compiler renesas -target rx
Пример (программа автоматического доказательства кода): polyspace-code-prover -compiler renesas -target rx
Пример (сервер Bug Finder): polyspace-bug-finder-server -compiler renesas -target rx
Пример (сервер программы автоматического доказательства кода): polyspace-code-prover-server -compiler renesas -target rx

Советы

Если вы используете Polyspace в качестве Вас Расширения кода в ИДАХ, введите эту опцию в файл опций анализа. Смотрите файл опций.

Введенный в R2018b