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

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

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

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

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

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

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

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

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

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