photo

Kier


ZF TRW

Last seen: oltre 4 anni fa Attivo dal 2017

Followers: 0   Following: 0

Messaggio

Statistica

  • First Answer

Visualizza badge

Feeds

Visto da

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

circa 6 anni fa | 0

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

circa 6 anni fa | 0

Domanda


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

oltre 7 anni fa | 2 risposte | 0

2

risposte