C++ standard version (-cpp-version)

Set Option

Set the option using one of these methods:

Why Use This Option

Use this option so that Polyspace can allow features from a specific version of the C++ language standard during compilation. For instance, if you compile with GCC using the flag -std=c++11 or -std=gnu++11, specify cpp11 for this option. If you are not sure of the language standard, specify defined-by-compiler.

For instance, suppose you use range-based for loops. This type of for loop is defined in the C++11 standard but unrecognized in prior standards such as C++03. If the Polyspace compilation uses the C++03 standard, you can see compilation errors.

To check if your compiler allows features specific to a standard, compile code with macros specific to the standard using compiler settings that you typically use. For instance, to check for C++11-specific features, compile this code. The code contains a C++11-specific keyword nullptr. If the macro __cplusplus is not 201103L (indicating C++11), this keyword is used and causes a compilation error.

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