Чтобы работать вокруг определенных ошибок компиляции, используйте опции параметров среды. Перед использованием этих опций задайте Целевые и Параметры компилятора. Затем чтобы работать вокруг ошибок компиляции, которые остаются, используйте опции Макросов в удалении или простой замене нераспознанных лексем. Для более сложных решений компиляции и соединения ошибок, используйте эти опции. Например, можно задать скрипт Perl, который заменяет случаями неподдерживаемого построения кода с регулярными выражениями.
Source code encoding (-sources-encoding) | Задайте кодирование что аналитическое использование, чтобы интерпретировать символы non-ASCII в исходном коде |
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
Объедините специфичные для проекта опции, такие как источники с допускающими повторное использование опциями, такими как средства проверки.
Удалите или замените ключевые слова перед компиляцией
Замените или удалите ключевые слова из предварительно обработанного кода, чтобы избежать ошибок компиляции.
Соберите параметры компиляции эффективно
Поместите обходные решения для ошибок компиляции в один файл и включайте тот файл в анализ.
