polyspace compile error for a Keil project

Hi, I'm using Polyspace to check a stm32 keil project. I come into some compile errors. Most errors are from standard header files provided by MDK as follows. I attach the log file for you to view. Thanks for your help.

B:\Keil_v5\ARM\ARMCC\include\stdint.h, line 52: error: expected a ";" | typedef signed __int64 int64_t; B:\Keil_v5\ARM\ARMCC\include\stdint.h, line 58: error: invalid redeclaration of type name "__int64" (declared at line 52) | typedef unsigned __int64 uint64_t;| B:\Keil_v5\ARM\ARMCC\include\stdint.h, line 94: error: expected a ";" | typedef signed __int64 intmax_t;

Answer 1

[Alexandre De Barros]

Hi !

I don't see the complete log so I can't see the options that you used, especially things related to the compiler like the "OS target" and the "dialect".

I see from the messages that you're using armcc to compile the code. For the moment, I can suggest you to add the following macros to your Polyspace project:

 __STRICT_ANSI__
 __CC_ARM
 __ARMCC_VERSION 400678
 __size_t

They are predefined by armcc and are probably used inside the header files. So defining them in your Polyspace project can help.

If not, I suggest you to contact the support and attach the log to your request.

Regards,

Alex