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