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

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 ?

Answer 1

[MathWorks Support Team]

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.