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

9 vues (au cours des 30 derniers jours)
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 ?

Réponse acceptée

MathWorks Support Team
MathWorks Support Team le 24 Fév 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.

Plus de réponses (0)

Catégories

En savoir plus sur Troubleshooting in Polyspace Products for Ada dans Help Center et File Exchange

Tags

Aucun tag saisi pour le moment.

Produits


Version

R2019b

Community Treasure Hunt

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

Start Hunting!

Translated by