主要内容

Renesas 编译器 (-compiler renesas)

指定 Renesas 编译器

描述

如果您使用 Renesas® 编译器编译您的代码,请为编译器 (-compiler) 选项指定 renesas。当您使用的语法不是标准语法,而是来自语言扩展时,通过指定您的编译器,可以避免此类语法导致编译错误。

然后,指定您的目标处理器类型。如果您为编译器选择了 renesas,则在 Polyspace® 桌面端产品的用户界面中,您只能看到 Renesas 编译器允许的处理器。您选择的目标处理器决定了基础数据类型的大小、目标计算机的端序,以及特定的关键字定义。

如果您指定 renesas 编译器,则必须指定您的编译器头文件的路径。请参阅为 Polyspace 分析提供标准库头文件

设置

对于各个基础类型,目标使用以下默认大小(以位为单位)。您在 Polyspace 桌面端产品的用户界面中看不到这些大小。

目标charshortintlonglong longfloatdoublelong doubleptrchar 默认符号端序对齐size_t 的定义wchar_t 的定义
rl7881616326432323216无符号Little16unsigned intunsigned short
rh85081632326432646432无符号Little32unsigned intshort
rx81632326432323232无符号Little32unsigned intshort
sh81632326432646432有符号Little32unsigned long不适用

您的编译器设定还决定了许多编译器特定的宏的值。如果要了解 Polyspace 如何定义特定宏,请使用 -dump-preprocessing-info 选项。

命令行信息

参数:-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

提示

如果您使用 IDE 中的 Polyspace as You Code 扩展,请在分析选项文件中输入此选项。请参阅选项文件

版本历史记录

在 R2018b 中推出