Чтобы работать вокруг определенных ошибок компиляции, используйте опции параметров среды. Перед использованием этих опций задайте Целевые и Параметры компилятора. Затем чтобы работать вокруг ошибок компиляции, которые остаются, используйте опции Макросов для удаления или простой замены нераспознанных лексем. Для более сложных решений компиляции и соединения ошибок, используйте эти опции. Например, можно задать скрипт Perl, который заменяет случаями неподдерживаемого построения кода с регулярными выражениями.
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-ed каждым файлом C в анализе |
Ignore link errors (-no-extern-c) | Проигнорируйте определенные ошибки соединения |
Задайте аналитические опции Polyspace
Задайте аналитические опции Polyspace® в пользовательском интерфейсе Polyspace, других IDE-s или скриптах.
Удалите или замените ключевые слова перед компиляцией
Замените или удалите ключевые слова из предварительно обработанного кода, чтобы избежать ошибок компиляции.
Соберите параметры компиляции эффективно
Поместите обходные решения для ошибок компиляции в один файл и включайте тот файл в анализ.