polyspace compile error for a Keil project

1 次查看（过去 30 天）
Gu
Gu 2016-2-13
回答： Alexandre De Barros 2016-2-21
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;

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

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

类别

在 Help Center 和 File Exchange 中查找有关 Troubleshooting in Polyspace Products for Ada 的更多信息

标签

产品

Community Treasure Hunt

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

Start Hunting!

Translated by