Задать опцию

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

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

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

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

Например, предположим, что используется диапазон for петли. Этот тип for цикл определен в стандарте C++ 11, но неизвестен в предыдущих стандартах, таких как C++ 03. Если компиляция Polyspace использует стандарт C++ 03, можно увидеть ошибки компиляции.

Чтобы проверить, допускает ли компилятор функции, специфичные для стандарта, скомпилируйте код с макросами, специфичными для стандарта, с помощью стандартных параметров компилятора. Например, чтобы проверить особенности C++ 11, скомпилируйте этот код. Код содержит ключевое слово, зависящее от C++ 11nullptr. Если макрос __cplusplus не является 201103L (указывая на C++ 11), это ключевое слово используется и вызывает ошибку компиляции.

#if defined(__cplusplus) && __cplusplus >= 201103L
    /* C++11 compiler */
#else
    void* ptr = nullptr;
#endif