some bug on Polyspace ,the variable imask never has value of 3。
1 回表示 (過去 30 日間)
古いコメントを表示
![](https://www.mathworks.com/matlabcentral/answers/uploaded_files/1473191/image.png)
the variable imask never has value of this simple program.
採用された回答
その他の回答 (1 件)
Shubham
2023 年 9 月 8 日
Hi Chen,
I understand you could not figure out when the value of the variable "imask" reaches "3" as shown in the variable access panel.
The value of 3 in the "Reads" and "Writes" columns in the variable access denotes the frequency of reading or writing operations performed on the variable. It does not indicate the specific value of the variable "imask" during program execution.
For more info, read here:
4 件のコメント
Shubham
2023 年 9 月 12 日
Hi Chen, Polyspace does not execute source code but does approximation. It looks like it is an over approximation in Polyspace R2021. Polyspace provided an over approximation of the possible values of imask. This issue has been fixed in the latest release. Thanks
参考
カテゴリ
Help Center および File Exchange で Code Prover Analysis in Polyspace Platform User Interface についてさらに検索
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!