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