MATLAB的答案

是Polyspace R2020b错误发现者和代码验证符合c++在Visual Studio 2019中(16.7.3)?

5视图(30天)
马丁•沃克
马丁•沃克 2021年6月8日
评论道: 马丁•沃克2021年6月9日
你好,我是试图使用Polyspace 2020 b错误发现者和代码验证一些大型Visual Studio 2019 c++项目,但我跑到多个编译错误。
然后我一行“Hello World”创建控制台应用程序,同样的事情。然而,我仍然得到多个错误从标准头文件(参见下面的所选的几个例子贴)。
HelloWorld,所有的错误都是在标准的VC头文件(vcruntime。h,限制。h, corecrt。h, vcruntime_new。h, vcruntime_new_debug。h, crtdbg。h, yvals。h和corecrt_math.h)。Visual Studio中的代码编译和运行正确。
“c++标准版本”选项被设置为“cpp14”和“编译”设置为“visual15。x”(我已经试过与这些不同的设置,但结果是类似的)。
最大的问题是:
是Polyspace R2020b兼容Visual Studio 2019的c++编译器吗?
我还是花了很长时间搜索的文档,但我没能找到一个definative回答。
谢谢。
马丁
C:\Program Files (x86)\Microsoft Visual Studio \ 2019 \ \专业VC \ \ MSVC \ 14.27.29110 \ \ vcruntime包括工具。h, 96行:错误:标识符“推”是未定义的
8)| __pragma(包(推)外来的“C”{
| ^
C:\Program Files (x86)\Microsoft Visual Studio \ 2019 \ \专业VC \ \ MSVC \ 14.27.29110 \ \ vcruntime包括工具。h, 252行:错误:标识符“size_t”是未定义的
|模板< typename _CountofType, size_t _SizeOfArray >
| ^
C:\Program Files (x86)\Microsoft Visual Studio \ 2019 \ \专业VC \ \ MSVC \ 14.27.29110 \ \ vcruntime包括工具。h,第345行:错误:不完整的类型是不允许的
|空白__fastcall __security_check_cookie (uintptr_t _StackCookie);
| ^
C:\Program Files (x86)\Microsoft Visual Studio \ 2019 \ \专业VC \ \ MSVC \ 14.27.29110 \ \ vcruntime包括工具。h, 346行:错误:预计“{”
|使用__declspec (noreturn)无效__cdecl __report_gsfailure(无效);
| ^
C:\Program Files (x86)\Windows 10包\ \ \ 10.0.18362.0 \ ucrt包括\ corecrt。h, 552行:错误:标识符“__time64_t”是未定义的
| typedef __time64_t time_t;
| ^

在回答这个问题。

接受的答案

Anirban
Anirban 2021年6月8日
编辑:Anirban 2021年6月8日
从R2021a开始支持Visual Stud万博1manbetxio 2019。看到 R2021a发布说明 和最新的页面 编译器 。你必须选择的价值 visual16.x 编译器。如果您仍然遇到问题,请联系MathWorks技术支持。万博1manbetx
在产品内的文档不给任何有用的结果,你可以尝试搜索在线文档 在这里 。在线文档反映了最新版本,并将比特性后给你释放你可能有。例如,这是 搜索结果 :“Visual Studio 2019”+ Polyspace。的 同样的搜索R2020b 医生不给一个有用的回答从Visual Studio 2019 R2020b并非官方支持。万博1manbetx

更多的答案(0)