I have been getting familiar with Polyspace tools but have encountered the following error while trying to analyse my project with Polyspace Code Prover (2016b).
In an include file (that I have already added to the Polyspace project) I have this struct definiton:
/* Pointer to actual data */
KeyBaseType * data;
/* Additional information */
The files where KeyBaseType and VoidPtrType are defined, are also included.
The problem I have encountered is that Polyspace yields this error when it tries to compile:
Error: expected an identifier
KeyBaseType * ;
Any idea about why is this happening or what would be a work around is much appreciated.