Задать опцию

Пользовательский интерфейс (только для настольных продуктов): В строении проекта опция находится на узле 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