主要内容

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

-incremental

在分析过程中启用增量编译

自 R2022a 起

语法

-incremental

描述

此选项仅影响 Bug Finder 分析。

-incremental 在 Polyspace® 分析的编译阶段启用增量模式。使用此选项可更快地运行多文件分析。

如果从用户界面运行分析(仅限 Polyspace 桌面端产品),请在配置窗格上的高级设置节点中的其他字段中输入此选项。请参阅其他

在此模式下,在执行初始分析后,Polyspace 仅在满足以下条件之一时,才会重新编译文件:

  • 您对源文件进行了修改。Polyspace 会重新编译自上次分析以来所有包含修改的源文件。

  • 您对头文件进行了编辑。Polyspace 会重新编译所有声明依赖于已编辑头文件的文件。

  • 您对分析选项进行了更改。Polyspace 重新编译所有文件。Polyspace 忽略对以下选项的更改:

使用此选项时,请确保所有分析运行都使用相同的結果文件夹。在用户界面中,转到工具栏,检查未选择 运行 Bug Finder > 创建新的 Bug Finder 结果文件夹

示例

为分析启用增量模式,您可以在文件 sources.txt 中指定源列表,在文件 opts.txt 中指定分析选项列表。

  • Polyspace Bug Finder™

    polyspace-bug-finder -sources-list-file sources.txt -options-file opts.txt -incremental -results-dir .

  • Polyspace Bug Finder Server™

    polyspace-bug-finder-server -sources-list-file sources.txt -options-file opts.txt -incremental -results-dir .

提示

如果您在工程中添加了一个头文件,而另一个同名的头文件已存在于另一个文件夹中(例如,在已存在 componentB/myHeader.h 的情况下添加了 componentA/myHeader.h),则新头文件不会触发重新编译。

版本历史记录

在 R2022a 中推出