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