-custom-target

创建具有特定数据类型大小的自定义目标处理器

语法

-custom-target target_sizes

描述

-custom-target target_sizes 定义用于 Polyspace® 分析的自定义目标处理器。目标处理器定义包括基本数据类型的字节大小、纯 char 的符号性、结构体的对齐方式，以及标准 typedef（例如 size_t、ptrdiff_t 和 wchar_t）的基础类型。

target_sizes 是一个以逗号分隔的列表，用于指定这些值。从左到右，这些值如下所示。如果某种数据类型不受支持，则其大小用 -1 表示。

设定可能的值
纯 char 是否有符号true 或 false

char 的大小（位数）

其他大小以字节为单位。

数值
short 的大小数值
int 的大小数值
short long 的大小

数值

long 的大小数值
long long 的大小数值
float 的大小数值
double 的大小数值
long double 的大小数值
指针的大小数值
所有整数类型的最小对齐数值
struct 或 union 类型的变量的最小对齐数值
端序little 或 big
size_t 的基础类型unknown、unsigned_char、unsigned_short、unsigned_int、unsigned_long 或 unsigned_long_long
ptrdiff_t 的基础类型unknown、signed_char、short、int、long 或 long_long
wchar_t 的基础类型unknown、short、unsigned_short、int、unsigned_int、long 或 unsigned_long

通常，当 polyspace-configure 命令为后续的 Polyspace 分析创建选项文件时，会使用此选项。但是，在手动编写选项文件时，您也可以直接输入此选项。当您的目标设定未被任何预定义的目标处理器覆盖时，此选项非常有用。请参阅目标处理器类型 (-target)。

在用户界面（仅限 Polyspace 桌面端产品）中，在配置窗格的其他字段中输入此选项。请参阅其他。

示例

此选项的用法如下所示：

-custom-target false,8,2,4,-1,4,8,4,8,8,4,8,1,little,unsigned_int,int,unsigned_int
选项参量可转换为以下目标设定。

设定可能的值
纯 char 是否有符号false
char 的大小8 位
short 的大小2 字节
int 的大小4 字节
short long 的大小不支持 short long。
long 的大小4 字节
long long 的大小8 字节
float 的大小4 字节
double 的大小8 字节
long double 的大小8 字节
指针的大小4 字节
所有整数类型的最大对齐8 字节
struct 或 union 类型的变量的最大对齐1 字节
端序little
size_t 的基础类型unsigned_int
ptrdiff_t 的基础类型int
wchar_t 的基础类型unsigned_int

提示

  • 如果您的配置同时使用 -custom-target 和目标处理器类型 (-target) 来指定目标，则分析将使用您使用 -custom-target 指定的目标。

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

另请参阅

|

主题