包对齐值 (-pack-alignment-value)
为在 Visual C++ 中开发的代码指定默认结构体打包对齐值
描述
为结构体、联合体和类成员指定默认打包对齐值(以字节为单位)。
为何使用此选项
如果您使用编译器选项来指定如何将结构体成员打包到内存中,请使用此选项来模拟您的编译器。
例如,如果您使用 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 |