Mismatch between polyspace error message and the code line

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

Answer 1

[Alexandre De Barros]

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

Answer 2

[Dimo]

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