-include)Укажите файлы, которые должны быть #include-ed каждым C-файлом в анализе
Укажите файлы, которые должны быть #include-ed каждым файлом C, участвующим в анализе. Программное обеспечение входит в #include в предварительно обработанном коде, используемом для анализа, но не изменяющем исходный код.
Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта этот параметр находится в узле «Параметры среды».
файл командной строки и параметров: Использовать параметр -include. См. раздел Сведения о командной строке.
Может быть много причин, по которым вы хотите #include файл во всех исходных файлах.
Например, можно собрать в одном файле заголовка все обходные пути для ошибок компиляции. Эта опция используется для предоставления файла заголовка для анализа. Предположим, у вас возникли проблемы с компиляцией, поскольку Polyspace ® не распознает определенные ключевые слова, специфичные для компилятора. Чтобы обойти проблемы ,#define ключевые слова в файле заголовка и обеспечивают этот параметр для файла заголовка.
По умолчанию нет
Укажите имя файла, включаемого в каждый файл, участвующий в анализе.
Polyspace по-прежнему действует на другие директивы, такие как #include <include_file.h>.
Параметр: -include |
| По умолчанию: Нет |
Значение: file (Использование -include несколько раз для нескольких файлов) |
Пример (поиск ошибок):
polyspace-bug-finder -include `pwd`/sources/a_file.h -include /inc/inc_file.h |
Пример (проверка кода): polyspace-code-prover -include `pwd`/sources/a_file.h -include /inc/inc_file.h |
Пример (сервер поиска ошибок): polyspace-bug-finder-server -include `pwd`/sources/a_file.h -include /inc/inc_file.h |
Пример (сервер проверки кода):
polyspace-code-prover-server -include `pwd`/sources/a_file.h -include /inc/inc_file.h |