Renesas 编译器 (`-compiler renesas`)

指定 Renesas 编译器

描述

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

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

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

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

目标	char	short	int	long	long long	float	double	long double	ptr	char 默认符号	端序	对齐	size_t 的定义	wchar_t 的定义
rl78	8	16	16	32	64	32	32	32	16	无符号	Little	16	unsigned int	unsigned short
rh850	8	16	32	32	64	32	64	64	32	无符号	Little	32	unsigned int	short
rx	8	16	32	32	64	32	32	32	32	无符号	Little	32	unsigned int	short
sh	8	16	32	32	64	32	64	64	32	有符号	Little	32	unsigned 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 中推出