Задайте функции, которые представляют выгружаемые прерывания
-preemptable-interrupts function1[,function2[,...]]
-preemptable-interrupts задает функции, которые представляют выгружаемые прерывания.function1[,function2[,...]]
Функция действует как прерывание каждым способом за исключением того, что это может быть прервано другими прерываниями, выгружаемыми или nonpreemptable. Прерывания заданы с опцией Interrupts (-interrupts). Для примеров смотрите, Задают Прерывания Preemptable и Задачи Nonpreemptable.
Чтобы задать функцию как выгружаемое прерывание, необходимо сначала задать функцию как прерывание. Функции, которые вы задаете, должны иметь прототип:
void function_name(void);
Если при запуске анализ от пользовательского интерфейса (только десктопные решения Polyspace®) на панели Configuration, можно ввести эту опцию в поле Other. Смотрите Other.
Эта опция не полезна в Polyspace как Вы Анализ кода.
-non-preemptable-tasks | -preemptable-interrupts | Critical section details (-critical-section-begin -critical-section-end) | Cyclic tasks (-cyclic-tasks) | Interrupts (-interrupts) | Tasks (-entry-points) | Temporally exclusive tasks (-temporal-exclusions-file)
