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
