Compilation Error if using Polyspace Bug Finder with Visual Studio Clang++
4 views (last 30 days)
Show older comments
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
0 Comments
Answers (1)
Anirban
on 27 Jun 2023
Edited: Anirban
on 28 Jun 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.
0 Comments
See Also
Categories
Find more on Run Settings in Help Center and File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!