Polyspace Bug Finder problem in MDK-ARM

Use Polyspace to analysis MDK-ARM Project,and have so many errors like below,How to fix it? File D:\Keil\ARM\ARMCC\include\stdint.h line 47 Error: invalid redeclaration of type name "__int64" (declared at line 41) typedef unsigned __int64 uint64_t; ^

File D:\prj\Libraries\CMSIS\CM3\DeviceSupport\ST\STM32F10x\stm32f10x.h line 503 Error: variable "uint32_t" is not a type name typedef uint32_t u32; ^

Answer 1

[Alexandre De Barros]

Hi!

What "OS target" are you using? Did you activate the Keil dialect?

Regards,

Alex

Answer 2

[MG]

Hello,

Is this issue has been solved? I had the same and another issue when I use CMSIS library into Polyspace. This issue is the following :

File D:\PATH_TO_MY_PROJECT\External\core_cm3.h line 1465 Error: expected a ";" __STATIC_INLINE void __NVIC_SetPriorityGrouping(uint32_t PriorityGroup) ^

Note 1: the code works properly on the Cortex-M3 embedded target.

Note 2: Compiler option is set to "Keil".

Note 3: Polyspace Released R2016b (9.6) is used.

Best Regards