Does polyspace throws a red error for the 64 bit pointers? Error: pointer is outside its bounds. How can we remove it?

Charu Kamboj

2016 12 28

0 个回答

8 次查看（30 天）

0 个投票

I am getting a red error in my polyspace test reports for all the 64 bit pointers, whenever I update their values. The Error says : pointer is outside its bounds

Does polyspce always throws red error for 64 bit pointer? How can I remove it? Does this error also have some other significance?

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

Lucas Lebert 2017-1-4

Hi Charu, unfortunately I could not reproduce the issue on my side. Which Polyspace release are you using? Could you provide me with a code snippet, which enables me to reproduce the issue? Have a great day, Lucas

请先登录，再进行评论。

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

Follow Question