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

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?

[Lucas Lebert]

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