Polyspace errors cause from "@interrupt"

Hello Matlab Community

I use Polyspace R2022b for verify code for s12z Cosmic compiler.

In Cosmic compiler, for use interrupt, @interrupt code is needed.

ex) @interrupt void ISR_TIMER(void);

But Polyspace is not allowed this I think.

I also tried add "@interrupt=" at macro option but couldn't solve it.

How to do sovle this problem?

Answer 1

[Anirban]

Setting the compiler option in Polyspace to Cosmic will get you past the error. For more information, see Cosmic Compiler.

For instance, this code will compile with the option -compiler cosmic, but fail compilation otherwise.

// Interrupt Service Routine for Timer 2 Overflow
@interrupt void ISR_TIMER2_OVF(void)
{
}

void main(void)
{
    while (1)
    {
        // Main loop does nothing; LED toggling is handled in ISR
    }
}

Answer 2

[Christian Bard]

If you are not setting -compiler cosmic, you may use a Perl -post-preprocessing-command script like below (see doc):

#!/usr/bin/perl

#

binmode STDOUT;

while ($line = <STDIN>)

{

# comment @interrupt

$line =~ s/(\@interrupt)/\/\* $1 \*\/ /g;

print $line;

}