`-sfr-types`

为使用 Keil 或 IAR 编译器开发的代码指定 sfr 类型的大小

描述

指定 sfr 类型（定义特殊函数寄存器的类型）的大小。

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

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

如果您的代码中包含 sfr addr = 0x80; 等语句，请使用此选项。sfr 类型不属于标准 C 类型。因此，您必须为 Polyspace 分析显式指定这些类型的大小。

无默认值

列出每个 sfr 名称及其大小（以位为单位）。

仅当编译工具链(静态分析) 设置为 keil 或 iar 时，此选项才可用。

语法：-sfr-types sfr_name=size_in_bits,...

无默认值

名称值：sfr 名称，例如 sfr16。

大小值：8 | 16 | 32

示例 (Bug Finder)：polyspace-bug-finder -lang c -compiler iar -sfr-types sfr=8,sfr16=16 ...

示例 (Code Prover)：polyspace-code-prover -lang c -compiler iar -sfr-types sfr=8,sfr16=16 ...

示例 (Bug Finder Server)：polyspace-bug-finder-server -lang c -compiler iar -sfr-types sfr=8,sfr16=16 ...

示例 (Code Prover Server)：polyspace-code-prover-server -lang c -compiler iar -sfr-types sfr=8,sfr16=16 ...