主要内容

本页采用了机器翻译。点击此处可查看最新英文版本。

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

为在 Visual C++ 中开发的代码指定默认结构体对齐方式。

描述

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

设置选项

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

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

  • 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