How can I test IAR specific files in Polyspace R2014b?

1 次查看（过去 30 天）
balyil
balyil 2015-4-29
回答： Alexandre De Barros 2015-4-30
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!

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

回答（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

类别

在 Help Center 和 File Exchange 中查找有关 Code Prover Analysis in Polyspace Platform User Interface 的更多信息

标签

Community Treasure Hunt

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

Start Hunting!

Translated by