It is possible to add a Polyspace comment in a sigle line to comment a MISRA rule AND a RTE warning?

Hello all, I have a question about Polyspace Code Prover R2014b:

- It is possible to add a Polyspace comment into a sigle line to comment one MISRA rule AND one RTE warning in a same time?

e.g.:

/* polyspace< MISRA-C3:8.9 ; RTE:NIV : Not a defect : Justify with annotations > explanation */

Answer 1

[Alexandre De Barros]

Hello !

You can't mix two types in the same review comment but you can use two consecutive comments:

 /* polyspace< MISRA-C3:8.9 : Not a defect : Justify with annotations > explanation 1*/
 /* polyspace< RTE:NIV : Not a defect : Justify with annotations > explanation 2*/

Best regards,

Alexandre