Polyspace throws issue after run completed.Cant download the result

File pst_file_stub.c line 10255

Error: the size of an array must be greater than zero

char chk___pst_t_110595[(sizeof(struct __pst_t_110595)==2184888) ? 1 : -1] ;

Issue in pst_file_stub.c ,How to overcome this kind of issue.Whats the root cause ??

[Anirban]

Please contact MathWorks Technical Support with this question:

https://www.mathworks.com/support/contact_us.html

The root cause and solution depends on the Polyspace version used, the analysis configuration and the source code.