清空筛选条件
清空筛选条件

False negatives for MISRA 9.3 missed for float array partial initialization

2 次查看（过去 30 天）
David Sosa
David Sosa 2022-8-5
编辑： David Sosa 2022-8-11
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.
https://forum.misra.org.uk/thread-1357.html
Related to the question here:
https://de.mathworks.com/matlabcentral/answers/1773835-false-positive-candidate-rule-10-3-for-float-array-zero-initialization

请先登录，再回答此问题。

采纳的回答

Christian Bard
Christian Bard 2022-8-10
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 个评论
显示 1更早的评论
Christian Bard
Christian Bard 2022-8-11
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.

请先登录，再进行评论。

更多回答（0 个）

类别

在 Help Center 和 File Exchange 中查找有关 Run Settings 的更多信息

标签

产品


版本

R2021b

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by