-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 中推出