Fix C++ Compilation Errors Related to Standard or Boost Header Files

When analysing C++ code, you may encounter compilation issues in the standard header files or the header files of the boost library.

Issue

The Polyspace^® analysis stops with a compilation error.

Cause

Your compiler is looking for macros that are not defined.

Solution

If you run into compilation problems in standard header files or boost library headers, check if you're using one of the supported compilers. See Compilation toolchain (Static analysis) or -compiler. Then, try defining these macros:

-D __EDG__ -D __EDG_VERSION__=606

See Preprocessor definitions (-D)