Задать опцию

Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта этот параметр находится в узле Target & Compiler. Другие параметры, которые необходимо включить, см. в разделе Зависимости.

файл командной строки и параметров: Использовать параметр -c-version. См. раздел Сведения о командной строке.

Зачем использовать этот параметр

Используйте этот параметр, чтобы программа Polyspace ® разрешала функции, специфичные для стандартной версии C, во время компиляции. Например, при компиляции с использованием флага GCC -ansi или -std=c90, указать c90 для этого варианта. Если вы не уверены в языковом стандарте, укажите defined-by-compiler.

Например, предположим, что используется логический тип данных _Bool в вашем коде. Этот тип определен в стандарте C99, но неизвестен в предыдущих стандартах, таких как C90. Если компиляция Polyspace соответствует стандарту C90, можно увидеть ошибки компиляции.

Некоторые правила MISRA C ® отличаются в зависимости от того, используется ли стандарт C90 или C99. Например, MISRA C C:2012 Rule 5.2 требует, чтобы идентификаторы в одном объеме и пространстве имен были различны. Если используется стандарт C90, то это правило нарушается различными идентификаторами, имеющими один и тот же первый 31 символ. При использовании стандарта C99 количество символов увеличивается до 63.