`-ignore-pragma-pack`

忽略 #pragma pack 指令

描述

指定分析必须忽略代码中的 #pragma pack 指令。

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

Polyspace 平台用户界面（仅限桌面端产品）：在 Polyspace^® 平台工程中，此选项不可用。如果需要，请将此选项的命令行版本指定为高级选项。有关如何在用户界面中指定高级选项的详细信息，请参阅其他。
命令行和选项文件：请使用 -ignore-pragma-pack 选项。请参阅命令行信息。

如果代码中的 #pragma pack 指令导致链接错误，请使用此选项。

例如，您的代码中有两个同名结构体，但其中一个声明位于 #pragma pack(2) 语句之后。由于默认对齐值为 8 字节，两个结构体的不同打包方式会导致链接错误。使用此选项可避免此类错误。

参数：-ignore-pragma-pack

默认值：关闭

示例 (Bug Finder)：polyspace-bug-finder -ignore-pragma-pack

示例 (Code Prover)：polyspace-code-prover -ignore-pragma-pack

示例 (Bug Finder Server)：polyspace-bug-finder-server -ignore-pragma-pack

示例 (Code Prover Server)：polyspace-code-prover-server -ignore-pragma-pack