Azzera filtri
Azzera filtri

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

4 visualizzazioni (ultimi 30 giorni)
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.

Risposte (1)

Alexandre De Barros
Alexandre De Barros il 10 Ago 2017
Modificato: Alexandre De Barros il 10 Ago 2017
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

Community Treasure Hunt

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

Start Hunting!