some bug on Polyspace ,the variable imask never has value of 3。

1 回表示 (過去 30 日間)
ElectronicABC
ElectronicABC 2023 年 9 月 5 日
コメント済み: Shubham 2023 年 9 月 12 日
the variable imask never has value of this simple program.
  1 件のコメント
ElectronicABC
ElectronicABC 2023 年 9 月 5 日
[0..4] mean 0 1 2 3 4 ,but the program never has value 3.

サインインしてコメントする。

採用された回答

ElectronicABC
ElectronicABC 2023 年 9 月 12 日
編集済み: ElectronicABC 2023 年 9 月 12 日
this is a bug in this verion polyspace ,I run the same on my friends computer,get the right answer [0 ..2] or 4 or 8 ...

その他の回答 (1 件)

Shubham
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 件のコメント
ElectronicABC
ElectronicABC 2023 年 9 月 12 日
version 2021A
Shubham
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

サインインしてコメントする。

タグ

製品


リリース

R2021a

Community Treasure Hunt

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

Start Hunting!

Translated by