包对齐值 (-pack-alignment-value
)
为在 Visual C++ 中开发的代码指定默认结构体对齐方式。
描述
指定结构体、联合体和类成员的默认对齐方式(以字节为单位)。
设置选项
使用以下方法之一设置选项:
Polyspace® 用户界面(仅限桌面端产品):在您的工程配置中,选择目标和编译器节点,然后为此选项选择一个值。
Polyspace 平台用户界面(仅限桌面端产品):在工程配置中,在编译选项卡上,选择目标和编译器节点,然后为该选项选择一个值。
为何使用此选项
如果您使用编译器选项来指定结构体成员在内存中的打包方式,请使用此选项来模拟您的编译器。
例如,如果您使用 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 |
另请参阅
主题
- 指定 Polyspace 分析选项
- 指定目标环境和编译器行为
- Code Prover Assumptions About #pragma Directives (Polyspace Code Prover)