Statistiques
RANG
89 980
of 300 343
RÉPUTATION
0
CONTRIBUTIONS
1 Question
2 Réponses
ACCEPTATION DE VOS RÉPONSES
0.0%
VOTES REÇUS
0
RANG
of 20 926
RÉPUTATION
N/A
CLASSEMENT MOYEN
0.00
CONTRIBUTIONS
0 Fichier
TÉLÉCHARGEMENTS
0
ALL TIME TÉLÉCHARGEMENTS
0
RANG
of 168 172
CONTRIBUTIONS
0 Problèmes
0 Solutions
SCORE
0
NOMBRE DE BADGES
0
CONTRIBUTIONS
0 Publications
CONTRIBUTIONS
0 Public Chaîne
CLASSEMENT MOYEN
CONTRIBUTIONS
0 Point fort
NOMBRE MOYEN DE LIKES
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...
plus de 7 ans il y a | 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...
plus de 7 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...
plus de 8 ans il y a | 2 réponses | 0
