Polyspace Bug Finder problem in MDK-ARM

2 次查看（过去 30 天）
Zhang San
Zhang San 2014-11-27
回答： MG 2017-5-22
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; ^

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

回答（2 个）

Alexandre De Barros
Alexandre De Barros 2014-11-27
Hi!
What "OS target" are you using? Did you activate the Keil dialect?
Regards,
Alex
MG
MG 2017-5-22
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

类别

在 Help Center 和 File Exchange 中查找有关 Bug Finder Analysis 的更多信息

标签

产品

Community Treasure Hunt

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

Start Hunting!

Translated by