Чтобы задать или не определить определенные макросы или заменить неопознанные лексемы, используйте опции определения макроса. Если вы задаете опции Target & Compiler соответствующим образом, анализ определяет или не определяет макросы конкретного компилятора по мере необходимости и распознает лексемы конкретного компилятора. Если вы все еще получаете ошибки компиляции, используйте эти опции для обращения к конкретным макросам или лексемам.
Preprocessor definitions (-D) | Замените макросы в предварительно обработанном коде |
Disabled preprocessor definitions (-U) | Не определите макросы в предварительно обработанном коде |
Задайте опции анализа Polyspace
Задайте Polyspace® опции анализа в пользовательском интерфейсе Polyspace, других IDE-s или скриптах.
Диагностируйте ошибки компиляции и связывания
Узнайте, почему компиляция Polyspace может быть неудачной, даже если ваша сборка компилятора преуспела, и как работать вокруг отказов.