Параметры среды

Управляйте компиляцией

Чтобы работать вокруг определенных ошибок компиляции, используйте опции параметров среды. Перед использованием этих опций задайте Target & Compiler options. Затем чтобы работать вокруг ошибок компиляции, которые остаются, используйте опции Макросов в удалении или простой замене нераспознанных лексем. Для более сложных решений компиляции и соединения ошибок, используйте эти опции. Например, можно задать скрипт 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

Задайте аналитические опции Polyspace® в пользовательском интерфейсе Polyspace, других IDE-s или скриптах.

Удалите или замените ключевые слова перед компиляцией

Замените или удалите ключевые слова из предварительно обработанного кода, чтобы избежать ошибок компиляции.

Соберите параметры компиляции эффективно

Поместите обходные решения для ошибок компиляции в один файл и включайте тот файл в анализ.

Поиск и устранение проблем

Диагностируйте компиляцию и соединение ошибок

Изучите, почему компиляция Polyspace может перестать работать, даже если ваша сборка компилятора успешно выполняется и как работать вокруг отказов.