MATLAB的答案

不匹配和代码行polyspace错误消息

3视图(30天)
Dimo
Dimo 2016年11月22日
回答: Dimo2016年11月23日
你好,
当我点击错误结果总结窗格Polyspace代码验证(R2015a)结果是空行源窗格(Sreen-shot1)。但是如果我打开错误在外部或内部编辑器,我看到实际的代码行(Screen-shot2)发生错误的地方。有一些不匹配误差结果总结报告窗格和代码行源窗格。这是一个错误在这个修订Polyspace吗?
最好的祝福Dimo Petkov

在回答这个问题。

答案(2)

Alexandre De Barros
Alexandre De Barros 2016年11月22日
你好,
行号的确是奇怪的但我也可以看到52835行显示在Polyspace并不对应于实际的代码。这是返回语句在Polyspace和一个if语句在实际代码。
有一些奇怪的预处理。你是使用特殊的宏,还是一个post-preprocessing命令吗?
我建议你联系的支持和附加核查日志显示的选项中设置验证。万博1manbetx这将有利于支持。万博1manbetx
问候
亚历山大
Dimo
Dimo 2016年11月23日
你好,亚历山大,
真的是很奇怪的行为。ANSI C代码兼容的所以不要认为原因是。我已经发送这个问题Mathworks支持。万博1manbetx谢谢你的关注。
问候Dimo