Настройки окружения

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

Чтобы обойти определенные ошибки компиляции, используйте опции окружения. Прежде чем использовать эти опции, задайте опции 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 или скриптах.

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

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

Эффективный сбор опций компиляции

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

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

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

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