photo

Kier


ZF TRW

Last seen: presque 5 ans il y a |  Actif depuis 2017

Followers: 0   Following: 0

Message

Statistiques

  • First Answer

Afficher les badges

Feeds

Afficher par

Réponse apportée
Reconciling Polyspace Unused Parameter and MISRA 2.2 No Dead Code Warning
The answer is to use the following macros. This stops Polyspace raising a violation but of course is optimised away by a compile...

plus de 6 ans il y a | 0

Réponse apportée
Polyspace 2017b Not Populating from Code comments
I have this problem too. The text generated by "Add Pre-Justification To Clipboard" is not an acceptable syntax for Polyspace to...

plus de 6 ans il y a | 0

Question


Reconciling Polyspace Unused Parameter and MISRA 2.2 No Dead Code Warning
I followed the advice of Polyspace help for avoiding unused parameter warnings, i.e. void cast the parameter: void func( ch...

presque 8 ans il y a | 2 réponses | 0

2

réponses