Hello,
I haven't been able to reproduce this error with the last version of Polyspace (R2016b).
Here is the complete code snippet used for the test:
struct student_s {
unsigned int applicationId;
};
typedef struct student_s student_t;
typedef student_t *studentid_t;
struct studentinfo_s { studentid_t id; };
typedef struct studentinfo_s studentinfo_t;
studentinfo_t * const student_Info;
studentinfo_t glob;
void f(void) {
student_Info = &glob;
student_Info->id->applicationId = 10;
}
I suggest you to try with this new version. If you cannot upgrade, please contact the support and attach the verification log to your request.
Regards,
Alexandre
