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.

回答(1 个)

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

类别

帮助中心File Exchange 中查找有关 Troubleshooting in Polyspace Products for Ada 的更多信息

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by