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