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

-options-for-sources

指定源文件的特定分析选项

语法

-options-for-sources filename options

描述

-options-for-sources filename options 将以分号分隔的 Polyspace® 分析选项列表与 filename. 指定的源文件关联起来。

此选项主要在 polyspace-configure 命令为后续的 Polyspace 分析创建选项文件时使用。选项 -options-for-sources 将一组分析选项（如包括文件夹和宏定义）与特定源文件关联起来。

但是，在手动编写选项文件时，可以直接输入此选项。此选项在您希望将一组选项与特定源文件关联而不将其应用于其他文件时非常有用。

在 Polyspace 桌面端产品的用户界面中，您可以从编译命令创建一个 Polyspace 工程。该工程使用选项 -options-for-sources 将特定的 Polyspace 分析选项与特定文件关联起来。但是，当您在用户界面中打开工程时，您无法看到此选项的使用情况。在文本编辑器中打开工程，即可看到此选项。

示例

在此示例选项文件中，包含文件夹 /usr/lib/gcc/x86_64-linux-gnu/6/include 以及宏 __STDC_VERSION__ 和 __GNUC__ 仅与源文件 file.c 相关联，与 fileAnother.c 无关。

-options-for-sources file.c;-I /usr/lib/gcc/x86_64-linux-gnu/6/include;-D __STDC_VERSION__=201112L;-D __GNUC__=6;
-sources file.c
-sources fileAnother.c
有关此示例中使用的选项，请参阅：

提示

当将多个选项与源文件关联时，如果使用分号以外的选项分隔符，请使用第二个选项 -options-for-sources-delimiter 来显式指定该分隔符。例如，如果您使用分隔符 @，请指定以下附加选项：

-options-for-sources-delimiter @
否则，分析将假设分隔符为分号。

另请参阅

|

主题