Макрос

Задайте макросы для предварительной обработки

Чтобы задать или не определить определенные макросы или заменить неопознанные лексемы, используйте опции определения макроса. Если вы задаете опции Target & Compiler соответствующим образом, анализ определяет или не определяет макросы конкретного компилятора по мере необходимости и распознает лексемы конкретного компилятора. Если вы все еще получаете ошибки компиляции, используйте эти опции для обращения к конкретным макросам или лексемам.

Опции анализа

Preprocessor definitions (-D)Замените макросы в предварительно обработанном коде
Disabled preprocessor definitions (-U)Не определите макросы в предварительно обработанном коде

Темы

Задайте опции анализа Polyspace

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

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

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

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