-compiler renesas)Задайте компилятор Renesas
Задайте renesas для Compiler (-compiler) опция, если вы компилируете свой код с компилятором Renesas®. Путем определения компилятора можно избежать ошибок компиляции от синтаксиса, который не является частью Стандарта, но прибывает из расширений языка.
Затем задайте свой тип целевого процессора. Если вы выбираете renesas для Compiler, в пользовательском интерфейсе десктопных решений Polyspace®, вы видите, что только процессоры допускали компилятор Renesas. Ваш выбор целевого процессора определяет размер основополагающих типов данных, порядок байтов целевой машины и определенные определения ключевого слова.
Если вы задаете renesas компилятор, необходимо задать путь к заголовочным файлам компилятора. Смотрите Обеспечивают Стандартные Заголовки Библиотеки для Анализа Polyspace.
Цели используют эти размеры по умолчанию в битах для фундаментальных типов. Вы не видите эти размеры в пользовательском интерфейсе десктопных решений Polyspace.
| Цель | 'char' | короткий | int | долго | долго долго | плавание | 'double' | долго дважды | ptr | Знак по умолчанию char | Порядок байтов | Выравнивание | Определение 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 без знака | со знаком короткий |
Ваша спецификация компилятора также определяет значения многих специфичные для компилятора макросы. В случае, если вы хотите знать, как Polyspace задает определенный макрос, используйте опцию -dump-preprocessing-info.
Чтобы заменить макроопределение, используйте опцию Preprocessor definitions (-D).
Чтобы не задать макрос, используйте опцию Disabled preprocessor definitions (-U).
Параметр:
-compiler renesas -target |
Значение:
rl78 | rh850 | rx |
Значение по умолчанию:
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 |