Задайте опции анализа, характерные для исходного файла
-options-for-sources filename options
-options-for-sources связывает разделенный точкой с запятой список Polyspace® опции анализа с исходным файлом, заданные filename optionsfilename.
Эта опция в основном используется, когда 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 @