Polyspace error in string.h file for IAR Compiler

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.

Answer 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