默认精度Polyspace客户端C / c++ 5.1 (R2008a)不足以产生红色检查(特殊情况下某些失败)。
为了解决这个问题,使用最高水平的精度验证结果,即使用o3国旗。
为什么我收到一个橙色ZDV检查,而不是红色,当被分析的代码段是肯定失败而使用Polyspace端C / c++ 5.1 (R2008a +) ?
1视图(30天)
显示旧的评论
下面的代码分析时使用Polyspace端C / c++ 5.1 (R2008a):
无效foo (int)
{
int b;
b = 1 / (8);
}
无效foo3 (int)
{
int b;
b = 1 / (a - 3);
}
无效栏(空白)
{
int我;
为(我= 0;< 10;我+ +)
{
foo(我);
}
}
#如果1
无效巴兹(空白)
{
int我;
为(我= 0;< 10;我+ +)
{
foo3(我);
}
}
#endif
检查生成的橙色(而不是红色)尽管除以零误差(ZDV)肯定会出现在上面的代码。
