Why do I get a "Warning: These Polyspace annotations do not apply to the current code: ..." during Polyspace Bug Finder R2019b analysis?
8 views (last 30 days)
Show older comments
MathWorks Support Team
on 24 Feb 2020
Answered: MathWorks Support Team
on 24 Feb 2020
I use an annotation description file and got in the Polyspace log the following warning:
Warning: These Polyspace annotations do not apply to the current code: In file <custom_path>\source\my_code.c line 1234, annotation MISRA-C3:11.1 with text "Justified by code annotation"
The annotation file contains rule mappings like for MISRA-C3:11.1:
<Mapping>
<!-- Mapping for MISRA-C:2012 rules -->
<Result_Name_Mapping Rule_Identifier="9074" Family="MISRA-C3" Result_Name="11.1"/>
....
</Mapping>
The related line of code is
MyInterruptHandler(0x09,/*lint --e(546, 923, 9074)*/(uint32)&Trigger3);
Can you help what does the warning mean ?
Accepted Answer
MathWorks Support Team
on 24 Feb 2020
In the annotation.xml file there is a mapping between pclint rule 9074 and MISRA:C-2012 11.1.
Polyspace has detected the annotation in the source but did not find a violation 11.1 and so, it puts a warning in the log file.
0 Comments
More Answers (0)
See Also
Categories
Find more on Troubleshooting in Polyspace Products for Ada in Help Center and File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!