Special-purpose compiler configurations

Use case: Your build uses the ARM (RISC) compiler rather than the more widespread GCC (GNU Compiler Collection). The following JSON configuration code specifies this:

{
    "type": "Coverity configuration",
    "format_version": 1,
    "format_minor_version": 7,
    "settings": {
        "add_compiler_configurations": [
            /* arm-none-eabi-gcc is a common gcc variant
               for ARM-based embedded development */
            {
                "cov_configure_args": [
                    "--template",
                    "--compiler",
                    "arm-none-eabi-gcc",
                    "--comptype",
                    "gcc"
                ]
            }
        ]
    }
}

Use case: You want to continue using the Clang compiler front end, but you want to invoke it using the old-style (and self-descriptive) aliases cc and c++. The following JSON configuration code specifies this:

{
    "type": "Coverity configuration",
    "format_version": 1,
    "format_minor_version": 7,
    "settings": {
        "add_compiler_configurations": [
            /* On a Mac, CMake will use the "cc" and "c++" aliases
               instead of "clang" */
            {
                "cov_configure_args": [
                    "--template",
                    "--compiler",
                    "cc",
                    "--comptype",
                    "clangcc"
                ]
            },
            {
                "cov_configure_args": [
                    "--template",
                    "--compiler",
                    "c++",
                    "--comptype",
                    "clangcxx"
                ]
            }
        ]
    }
}