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

1 次查看（过去 30 天）
Viktoria
Viktoria 2023-6-14
编辑： Anirban 2023-6-28
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

请先登录，再回答此问题。

回答（1 个）

Anirban
Anirban 2023-6-27
编辑：Anirban 2023-6-28
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.

类别

在 Help Center 和 File Exchange 中查找有关 Troubleshooting in Polyspace Products for Ada 的更多信息

标签

产品


版本

R2022b

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by