MATLAB的答案

Polyspace 2018 b 10.3布尔相关的违反,是假阳性?

1视图(30天)
优年代
优年代 2020年6月7日
评论道: 优年代2020年6月16日
下面的代码使用相同的配置设置不给10.3违反2018年Polyspace Polyspace 2016 b但给10.3 b:
(注:以下代码是自动生成的代码的简化版本)
类型定义无符号字符布尔;
#真正的定义1 u
#定义错误0你
无效main ()
{布尔a、b;
= True;/ * 10.3违反只在2018 b * /
b = False;/ * 10.3违反只在2018 b * /
}

在回答这个问题。

接受的答案

Anirban
Anirban 2020年6月12日
你好,
这是一个错误,已经固定在R2019b。稍后您可以升级到版本或者如果你继续使用R2018b,证明这些特定结果来自10.3侵犯布尔typedef-s(设置状态的结果 任何行动计划 并添加一个评论解释了问题)。您可以选择多个结果Polyspace UI和添加相同的地位和评论。
PS:在未来,如果你问的问题,你也可以设置 产品 属性的问题吗?我注意到你的一个前一个问题没有回答。如果你设置 产品 属性,有更大的机会被指出的问题。
3评论
显示2年长的评论

登录置评。

更多的答案(0)