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