参数 (`-variables-written-before-loop`)

指定生成的 main 在有环代码循环之前必须初始化的变量

描述

如果从 Simulink^® 或 MATLAB^® 对生成的代码运行 Polyspace^®，则会自动设置此选项。如果在 Simulink 或 MATLAB 之外对生成的代码运行 Polyspace，则请手动设置此选项。

指定生成的 main 在有环代码循环开始之前必须初始化的变量。在循环开始之前，Polyspace 会将这些变量视为具有其类型所允许的任意值。

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

Polyspace 平台用户界面（仅限桌面端产品）：在您的工程配置中，在静态分析选项卡上，选择运行时错误节点，然后为此选项选择值。仅当您从 Simulink 打开 Polyspace 平台用户界面时，此选项才会显示。
命令行和选项文件：请使用 -variables-written-before-loop 选项。请参阅命令行信息。

默认值：无

无: 生成的 main 不初始化变量。
all: 生成的 main 会初始化所有变量（使用关键字 const 声明的那些变量除外）。
uninit: 生成的 main 仅初始化未初始化的变量。
public: 生成的 main 仅初始化 public 变量。
custom: 生成的 main 仅初始化您指定的变量。点击可添加一个字段。输入变量名称。对于 C++ 类成员，请使用限定名称（例如 className::variableName）。

参数：-variables-written-before-loop

值：none | all | custom=variable1[,variable2[,...]]

默认值：none

示例 (Bug Finder)：polyspace-bug-finder -sources file_name -main-generator -variables-written-before-loop all

示例 (Code Prover)：polyspace-code-prover -sources file_name -main-generator -variables-written-before-loop all

示例 (Bug Finder Server)：polyspace-bug-finder-server -sources file_name -main-generator -variables-written-before-loop all

示例 (Code Prover Server)：polyspace-code-prover-server -sources file_name -main-generator -variables-written-before-loop all