photo

Kier


ZF TRW

Last seen: 4년 초과 전 |  2017년부터 활동

Followers: 0   Following: 0

메시지

통계학

  • First Answer

배지 보기

Feeds

보기 기준

답변 있음
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...

6년 초과 전 | 0

답변 있음
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...

6년 초과 전 | 0

질문


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

7년 초과 전 | 답변 수: 2 | 0

2

답변