Mismatch between polyspace error message and the code line

4 次查看（过去 30 天）
Dimo
Dimo 2016-11-22
回答： Dimo 2016-11-23
Hello,
When I click on the error in Result Summary pane of Polyspace Code Prover (R2015a) the result is empty line in Source pane (Sreen-shot1). But If I open the error in an external or internal editor, I see the actual code line (Screen-shot2)where the error occurs. There is some mismatch between the reported error in Result Summary pane and the code line in Source pane. Is this a bug in this revision of Polyspace?
Best Regards Dimo Petkov

请先登录，再回答此问题。

回答（2 个）

Alexandre De Barros
Alexandre De Barros 2016-11-22
Hello,
the line number is indeed strange but I also can see that the line 52835 displayed in Polyspace does not correspond to the actual code. It is a return statement in Polyspace and an if statement in the actual code.
There is something strange in the preprocessing. Are you using special macros, or a post-preprocessing command?
I suggest you to contact the support and attach the verification log that shows the options set in the verification. That will be helpful for the support.
Regards
Alexandre
Dimo
Dimo 2016-11-23
Hello Alexander,
The behavior is really very strange. The code is ANSI C compliant so don't think the reason is in it. I have already sent this issue to Mathworks support. Thank you for your attention.
Regards Dimo

类别

在 Help Center 和 File Exchange 中查找有关 Get Started with Polyspace Products for Ada 的更多信息

标签

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by