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