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

3 次查看（过去 30 天）
Sanjay
Sanjay 2014-11-25
回答： Alexandre De Barros 2014-11-27
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 个）

Alexandre De Barros
Alexandre De Barros 2014-11-27
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

类别

在 Help Center 和 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