False positive candidate Rule 10.3 for float array zero-initialization
2 次查看(过去 30 天)
显示 更早的评论
Hello,
Polyspace is raising the 10.3 MISRA violation for array initializations like the one below:
float data[3*3] = {0}
My question: is this the intended behavior of Polyspace? Shouldn't this type of zero-initialization be allowed?
My impression is that the MISRA 2012 standard allows this by exception. Other static analyzers do not raise a warning. Empty array-initialization makes the warning go away, so we may just do that.
Thanks.
0 个评论
采纳的回答
Anirban
2022-8-4
编辑:Anirban
2022-8-4
The problem is not because of the array initialization. Indeed, as you say, MISRA C:2012 standard allows an exception of rule 10.3 for aggregate initializations with {0}.
The violation is shown because you are assigning 0 to a float variable (the two have different essential types, see here for essential types). But the MISRA exception for {0} covers aggregates of all data types. So, this is indeed a false positive (and will be fixed in a future release).
3 个评论
Anirban
2022-8-4
Thanks for pointing to the discussion. Using 0.0f would remove the Polyspace violation, but not address the intention behind the MISRA exception. This is indeed a false positive and will be fixed in a future release.
I edited the answer above to correct this.
更多回答(0 个)
另请参阅
类别
在 Help Center 和 File Exchange 中查找有关 Generate Report 的更多信息
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!