How can I test IAR specific files in Polyspace R2014b?

I have a project with Renesas mikrocontroller. I use IAR specific header files, but Polyspace Code Prover r2014b have some problem.

Lines in the header file (sfr declarations), which has a problem:

__saddr __no_init volatile union { unsigned char P13; __BITS8 P13_bit; } @ 0xFFF0D;

__saddr __no_init volatile union { unsigned char P14; __BITS8 P14_bit; } @ 0xFFF0E;

__saddr __no_bit_access __no_init volatile union { unsigned short SDR00; __BITS16 SDR00_bit; struct { union { unsigned char SDR00L; __BITS8 SDR00L_bit; }; }; } @ 0xFFF10;

__saddr __no_bit_access __no_init volatile union { unsigned short SDR01; __BITS16 SDR01_bit; struct { union { unsigned char SDR01L; __BITS8 SDR01L_bit; }; }; } @ 0xFFF12;

I can suppress the "@ 0xFFF12" Errors with ppc.pl Perl Script and I can also suppress "volatile" with "volatile=" Preprocesor definitions.

I have errors like:

Error: expected a ";"

__sfr   union { unsigned char PM9; __BITS8 PM9_bit; } ; 

          ^

Error: variable "__sfr" is not a type name

__sfr __no_bit_access   union { unsigned short SDR10; __BITS16 SDR10_bit; struct { union { unsigned            char SDR10L; __BITS8 SDR10L_bit; }; }; } ; 
^

Thanks!

Answer 1

[Alexandre De Barros]

Hi !

I've been able to verify your code with Code Prover 14b by using the dialect IAR (and the OS target -no-predefined-os). By the way, with this dialect, I don't need a post-preprocessing-command.

Did you already try this ?

Best regards,

Alexandre