MATLAB Answers

Why do I get a "Warning: These Polyspace annotations do not apply to the current code: ..." during Polyspace Bug Finder R2019b analysis?

2 views (last 30 days)
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
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

Sign in to comment.

More Answers (0)

Tags

No tags entered yet.

Products


Release

R2019b

Community Treasure Hunt

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

Start Hunting!