Compilation Error if using Polyspace Bug Finder with Visual Studio Clang++
2 visualizzazioni (ultimi 30 giorni)
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.
- Polyspace: R2022b
- Windows Clang 12.0 (Visual Studio 2019)
- Project language: Cpp
- Target: x86_64
Anirban il 27 Giu 2023
Modificato: Anirban il 28 Giu 2023
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.
Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings