主要内容

包对齐值 (-pack-alignment-value)

为在 Visual C++ 中开发的代码指定默认结构体打包对齐值

描述

为结构体、联合体和类成员指定默认打包对齐值(以字节为单位)。

设置选项

使用以下方法之一设置选项:

  • Polyspace 平台用户界面(仅限桌面端产品):在您的工程配置中,在编译选项卡上选择目标和编译器节点,然后为此选项选择一个值。

  • 命令行选项文件:请使用 -pack-alignment-value 选项。请参阅命令行信息

为何使用此选项

如果您使用编译器选项来指定如何将结构体成员打包到内存中,请使用此选项来模拟您的编译器。

例如,如果您使用 Visual Studio® 选项 /Zp 来指定对齐值,请为您的 Polyspace® 分析使用此选项。

如果您在代码中使用 #pragma pack 指令来指定对齐值,并且也为分析指定了此选项,则 #pragma pack 指令优先。

设置

默认值:8

您可以输入下列值之一:

  • 1

  • 2

  • 4

  • 8

  • 16

命令行信息

参数:-pack-alignment-value
值:1 | 2 | 4 | 8 | 16
默认值:8
示例 (Bug Finder):polyspace-bug-finder -compiler visual10 -pack-alignment-value 4
示例 (Code Prover):polyspace-code-prover -compiler visual10 -pack-alignment-value 4
示例 (Bug Finder Server):polyspace-bug-finder-server -compiler visual10 -pack-alignment-value 4
示例 (Code Prover Server):polyspace-code-prover-server -compiler visual10 -pack-alignment-value 4