-options-for-sources

Задайте опции анализа, характерные для исходного файла

Синтаксис

-options-for-sources filename options

Описание

-options-for-sources filename options связывает разделенный точкой с запятой список Polyspace® опции анализа с исходным файлом, заданные filename..

Эта опция в основном используется, когда polyspace-configure команда создает файл опций для последующего анализа Polyspace. Опция -options-for-sources связывает группу опций анализа, таких как папки и определения макросов, с определенными исходными файлами.

Однако можно непосредственно ввести эту опцию при записи файлов опций вручную. Эта опция используется в ситуациях, когда вы хотите связать группу опций с определенным исходным файлом, не применяя его к другим файлам.

В пользовательском интерфейсе десктопных продуктов Polyspace можно создать проект Polyspace из команды build. Проект использует опцию -options-for-sources чтобы связать определенные опции анализа Polyspace с конкретными файлами. Однако, когда вы открываете проект в пользовательском интерфейсе, вы не можете увидеть использование этой опции. Откройте проект в текстовом редакторе, чтобы увидеть эту опцию.

Примеры

В этом файле примеров опций папка include /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 @
В противном случае анализ принимает диафрагму с точки с запятой.