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)
Afficher commentaires plus anciens
MathWorks Support Team
le 24 Fév 2020
Réponse apportée : MathWorks Support Team
le 24 Fév 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 ?
Réponse acceptée
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.
0 commentaires
Plus de réponses (0)
Voir également
Catégories
En savoir plus sur Troubleshooting in Polyspace Products for Ada dans Help Center et File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!