Чтобы обойти определенные ошибки компиляции, используйте опции окружения. Прежде чем использовать эти опции, задайте опции Target и Compiler. Затем, чтобы обойти ошибки компиляции, которые остаются, используйте опции Macros для удаления или простой подстановки непризнанных лексем. Для более сложных решений ошибок компиляции и связывания используйте эти опции. Например, можно задать скрипт Perl, который заменяет вхождения неподдерживаемой конструкции кода регулярными выражениями.
Source code encoding (-sources-encoding) | Задайте кодировку исходных файлов |
Code from DOS or Windows file system (-dos) | Примите во внимание, что пути к файлам имеют стиль MS-DOS |
Stop analysis if a file does not compile (-stop-if-compile-error) | Укажите, что ошибка компиляции должна остановить анализ |
Command/script to apply to preprocessed files (-post-preprocessing-command) | Задайте команду или скрипт, чтобы запустить в исходных файлах после фазы предварительной обработки анализа |
Include (-include) | Укажите файлы, которые будут #include-дается каждым файлом C в анализе |
Ignore link errors (-no-extern-c) | Игнорируйте определенные ошибки связи |
Задайте опции анализа Polyspace
Задайте Polyspace® опции анализа в пользовательском интерфейсе Polyspace, других IDE-s или скриптах.
Удаление или замена ключевых слов перед компиляцией
Замените или удалите ключевые слова из предварительно обработанного кода, чтобы избежать ошибок компиляции.
Эффективный сбор опций компиляции
Поместите обходные пути для ошибок компиляции в один файл и включите этот файл в анализ.
