`-include`

指定分析中的每个 C 文件要 #include 的文件

描述

指定分析中涉及的每个 C 文件要 #include 的文件。软件会在用于分析的已预处理代码中输入 #include 语句，但不会修改原始的源代码。

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

有很多原因会导致您需要在所有源文件中 #include 文件。

例如，您可以在一个头文件中收集编译错误的所有解决方法。然后，使用此选项提供该头文件进行分析。假设因为 Polyspace^® 不能识别某些编译器特定关键字而产生编译错误。要解决这些问题，可在一个头文件中 #define 这些关键字，并使用此选项提供该头文件。

无默认值

指定分析中涉及的每个文件要包括的文件名。

Polyspace 仍然会对其他指令采取操作，例如 #include <include_file.h>。

参数：-include

默认值：无

值：file（对多个文件多次使用 -include）

示例 (Bug Finder)：polyspace-bug-finder -include `pwd`/sources/a_file.h -include /inc/inc_file.h

示例 (Code Prover)：polyspace-code-prover -include `pwd`/sources/a_file.h -include /inc/inc_file.h

示例 (Bug Finder Server)：polyspace-bug-finder-server -include `pwd`/sources/a_file.h -include /inc/inc_file.h

示例 (Code Prover Server)：polyspace-code-prover-server -include `pwd`/sources/a_file.h -include /inc/inc_file.h