precision loss in read of 2d array in Polyspace R2021b code prover

1 次查看（过去 30 天）
Chen Zhang
Chen Zhang 2023-3-20
回答： Sachin Lodhi 2023-8-31
Hello,
I defined the range in DRS for my 2d array (f.e. const int16 array[2][5], and in DRS array 0 32000 permanent), and the array will be used as Pointer used Tabfct(..., &array[0][0],...). and Tabfct is simply defined as:
int16 Tabfct (..., const int16 * z_table, ...)
{
return z_table[0];
}
and I put the function Tabfct as inline function. And I got warning in log: precision loss in read of (*Tabfct:z_table)+0 because (*Tabfct:z_table)+0 may point to volatile data. and Polyspace says that the range of Tabfct is fullrange [-32768..32767].
If array is 1d, like array[5], I got the right range for the function Tabfct and no warning.
I used polyspace 2017b, it was no Problem for 2d array. But in 2021b I can not get the right range. Could you please tell me why or what should I do.
My purpose: the function Tabfct to stub, so the Polyspace knows that, Tabfct has the same range like array.

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

回答（1 个）

Sachin Lodhi
Sachin Lodhi 2023-8-31
Based on my understanding, it appears that you obtained the correct ranges in Polyspace R2017b, but not in R2021b. I want to inform you that this is a known issue, and our team is actively working on resolving it in future releases. We have created an enhancement request to address this behaviour specifically in Polyspace R2021b going forward.
To ensure a smoother experience and benefit from bug fixes and significant performance optimizations, I would recommend considering an upgrade to Polyspace R2022b or a later version. This will provide you with the latest improvements and enhancements.

类别

在 Help Center 和 File Exchange 中查找有关 Code Prover Analysis in Polyspace Platform User Interface 的更多信息

标签

产品


版本

R2021b

Community Treasure Hunt

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

Start Hunting!

Translated by