Why do I get Polyspace compilation error when I have specified all source and header files

I am using Polyspace Client for C/CPP version R2012b. I have provided the required settings for my source code such as setting -dialect as "iar" for my source code. I have added all the required source and header files in my project as well as source files in my module. In addition, I have also included all the includes from IAR folder.

Still Polyspace gives me compilation errors to define many more common IAR identifiers such as "__SIZE_T_TYPE__", "__FLOAT_SIZE__", "__DOUBLE_SIZE__", "__LONG_DOUBLE_SIZE__", "__INT_SIZE__" and so on. Earlier I have executed Polyspace for IAR source code and I was able to do. Please help.

Answer 1

[Alexandre De Barros]

Hi Sanjay!

Your project options look good (dialect, include folders...). For a more precise diagnosis you should contact the support, and send them the verification log.

Regards,

Alex