polyspace have a problem about "__interrupt", "@", etc

2017 8 10
1 个回答
更新时间：2017 8 10
1 次查看（30 天）

0 个投票

Hello,
-
I use polyspace_2012a.
-
My project's compiler is Codewarrior_Ver10.7.
MCU is S12ZVC Seris.
when i run polyspace, i have problem below
------------------------------------------------------------
------------------------------------------------------------
expected a ";"
__interrupt void CanRxInterrupt_0(void);
^
------------------------------------------------------------
------------------------------------------------------------
How can i resolve this problem.
help me please.

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

回答（1 个）

Alexandre De Barros
编辑：Alexandre De Barros 2017-8-10

0 个投票

Hello,
the keyword __interrupt is an extension of the CodeWarrior compiler. It is not Ansi. But to ignore it, you just need to add a new preprocessor macro:
__interrupt=
By doing this, Polyspace will ignore the occurrences of this keyword during the verification.
Now, you mention also other constructs, like the one starting with @ (probably to introduce an absolute address).
I would suggest to contact the support and tell them the target you are using with CodeWarrior (ColdFire, MPC...).
Regards,
Alexandre

类别

在 帮助中心 和 File Exchange 中查找有关 Target and Compiler 的更多信息

产品

标签

Community Treasure Hunt

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

Start Hunting!