强制包含文件 (`-include`)

指定每个源文件必须通过 #include 包含的文件。

自 R2023b 起

描述

指定每个源文件必须通过 #include 包含的文件。这些 #include 是在预处理之前添加的，但不会修改原始源代码。请使用这些文件来定义源代码中未定义的类型等。此选项等效于选项 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

在编译过程中，文件特定的 include 项将与工程级编译配置合并。将此选项与基于 CMAKE 的工具链一起使用会产生警告。