MATLAB的答案

为什么我有一种“浮动值中使用的左操作数“& &”,“| |”初始化”限制,当我使用-ignore-float-rounding选项在PolySpace端7.0.1 (R2009a) ?

1视图(30天)
MathWorks支万博1manbetx持团队
当我检查我的代码,-ignore-float-rounding选项,我看到以下消息的过程:
验证file.c
file.c,line<坳> < >行(列):限制:浮动值中使用“& &”的左操作数,“| |”初始化器
这种限制不是PolySpace限制文档中引用。

在回答这个问题。

接受的答案

MathWorks支万博1manbetx持团队
这种变化被纳入2010年发布的文档(R2010a)。在以前的版本中,读下面的任何额外的信息:
在预处理PolySpace静态评估表达式。然而,它不能评估涉及浮点值的逻辑表达式5.1 = = 5.10001,当-ignore-float-rounding选项设置。
这是一个例子的代码将提高限制:
字符c =((浮动)85.5 = =(浮动)85.5000001 & & 1);
无效f(空白)
{
}
绕过限制,不使用-ignore-float-rounding选项。

更多的答案(0)