Compilation Error if using Polyspace Bug Finder with Visual Studio Clang++

Hi,

I am currently trying to use Polyspace Bug Finder with the Windows Clang++ compiler installed with Visual Studio 2019.

Unfortunately, I get a lot of compilation errors with a simple 'Hello World' program such as:

C:\Program Files (x86)\Microsoft Visual Studio\2019\BuildTools\VC\Tools\MSVC\14.29.30133\include\vadefs.h, line 61: error: expected a ";"   
|          typedef unsigned __int64  uintptr_t;                                                                                             
|                                    ^                   

C:\Program Files (x86)\Windows Kits\10\Include\10.0.22000.0\ucrt\corecrt_math.h, line 175: error: "__cdecl" has already been declared in the current scope
|  void __cdecl _fperrraise(  int _Except);
|       ^

I created the project using "polyspace-configure" given a "compilation_database.json", so all include directories should be set correctly.

Used Versions:

• Polyspace: R2022b
• Windows Clang 12.0 (Visual Studio 2019)

Settings:

• Project language: Cpp
• Target: x86_64

Answer 1

[Anirban]

clang-cl might not be supported with polyspace-configure but please contact MathWorks Technical Support for more help with the issue. To diagnose this further, Support will have to determine which settings come from polyspace-configure and which ones have been set later, etc. In this case, the error message is not enough to state what is going on.