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

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.

Answer 1

[Alexandre De Barros]

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