photo

Kier


ZF TRW

Last seen: casi 5 años hace |  Con actividad desde 2017

Followers: 0   Following: 0

Mensaje

Estadística

  • First Answer

Ver insignias

Feeds

Ver por

Respondida
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...

más de 6 años hace | 0

Respondida
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...

casi 7 años hace | 0

Pregunta


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...

casi 8 años hace | 2 respuestas | 0

2

respuestas