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

1 次查看（过去 30 天）

显示更早的评论

ElectronicABC 2023-9-5

1
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/2016831-some-bug-on-polyspace-the-variable-imask-never-has-value-of-3

评论： Shubham 2023-9-12

采纳的回答： ElectronicABC

the variable imask never has value of this simple program.

1 个评论
显示 -1更早的评论隐藏 -1更早的评论

ElectronicABC 2023-9-5

[0..4] mean 0 1 2 3 4 ,but the program never has value 3.

请先登录，再进行评论。

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

采纳的回答

ElectronicABC 2023-9-12

0
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/2016831-some-bug-on-polyspace-the-variable-imask-never-has-value-of-3#answer_1308231

编辑：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 2023-9-8

0
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/2016831-some-bug-on-polyspace-the-variable-imask-never-has-value-of-3#answer_1305246

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:

https://www.mathworks.com/help/codeprover/ug/variable-access.html

4 个评论
显示 2更早的评论隐藏 2更早的评论

ElectronicABC 2023-9-12

version 2021A

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

请先登录，再进行评论。

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