主要内容

包括 (-include)

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

描述

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

设置选项

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

  • Polyspace® 用户界面(仅限桌面端产品):在您的工程配置中,选择环境设置节点,然后为该选项输入文件名。

  • Polyspace 平台用户界面(仅限桌面端产品):请参阅强制包含文件

  • 命令行和选项文件:请使用 -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