Mismatch between polyspace error message and the code line
2 views (last 30 days)
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
Alexandre De Barros on 22 Nov 2016
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.