Polyspace error in string.h file for IAR Compiler

2 次查看（过去 30 天）
Mithun Bharadwaj
Mithun Bharadwaj 2015-5-21
回答： Alexandre De Barros 2015-6-24
When we run the polyspace tool on the project, the tool throws an error in string.h file for the lines below.
__EFF_NENW1NW2 __ATTRIBUTES int memcmp(const void *, const void *, size_t);
#define __EFF_NENW1NW2 _Pragma("function_effects = no_state, no_errno, no_write(1,2)") in ycheck.h file
The error is shown below. Error: expected a declaration
Generic Question: Does Polyspace recognize _Pragma, #pragma and such preprocessor functions and directives? Kindly provide some solution for this issue.

请先登录，再回答此问题。

回答（1 个）

Alexandre De Barros
Hello Mithun!
I've been able to verify your code using the 'iar' dialect in my Polyspace project. Actually I created a project by using the IAR template which selects the 'iar' dialect automatically. Did you use this template too? Or do you have the same error with the 'iar' dialect ? Please note that I'm using 15a.
About the _Pragma, they are ignored by Polyspace and do not cause a compilation error (again, I've tested this _Pragma with R2015a).
Regards,
Alex

类别

在 Help Center 和 File Exchange 中查找有关 Generate Report 的更多信息

标签

Community Treasure Hunt

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

Start Hunting!

Translated by