Why do I get a "Warning: These Polyspace annotations do not apply to the current code: ..." during Polyspace Bug Finder R2019b analysis?
8 visualizaciones (últimos 30 días)
Mostrar comentarios más antiguos
MathWorks Support Team
el 24 de Feb. de 2020
Respondida: MathWorks Support Team
el 24 de Feb. de 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 ?
Respuesta aceptada
MathWorks Support Team
el 24 de Feb. de 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 comentarios
Más respuestas (0)
Ver también
Categorías
Más información sobre Troubleshooting in Polyspace Products for Ada en Help Center y File Exchange.
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!