Установите опцию

Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле 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++ специфичное для 11 ключевое слово nullptr. Если макро-__cplusplus не 201103L (указание на C++ 11), это ключевое слово используется и вызывает ошибку компиляции.

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