False negatives for MISRA 9.3 missed for float array partial initialization
2 visualizzazioni (ultimi 30 giorni)
Mostra commenti meno recenti
David Sosa
il 5 Ago 2022
Modificato: David Sosa
il 11 Ago 2022
Hello,
Initializing an array of float in the following way:
float array_a[10] = { 0.0 };
should raise the MISRA violation 9.3, that forbids partial array initialization. However the polyspace code prover is not detecting this
violation. Please confirm if this is a false negative or some other issue. Thanks in advance.
Related to the question here:
0 Commenti
Risposta accettata
Christian Bard
il 10 Ago 2022
That is a specific Polyspace implementation of the rule 9.3. We have extended the exception 1 of the rule 9.3 with 0.0 and 0.0f.
3 Commenti
Christian Bard
il 11 Ago 2022
Amplification of the rule is about to initialize all elements of the array as soon as explicitely one is initialized. Exception applies on 0 and it looks like that float array_f[10] = { 0 }; is compliant but not float array_f[10] = { 0.0f }; Same for double array_d[10] = { 0 }; but not for double array_d[10] = {0.0};
From my stand point, not including 0.0 and 0.0f is really a very strict application of the rule because almost all compilers will mostly generate same assembly code for 0, 0.0 and 0.0f. Including 0.0 and 0.0f do not go against its rationale.
Più risposte (0)
Vedere anche
Categorie
Scopri di più su Generate Report in Help Center e File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!