Укажите параметры анализа, относящиеся к исходному файлу
-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 @