Specify functions that represent preemptable interrupts
-preemptable-interrupts function1[,function2[,...]]
-preemptable-interrupts specifies
functions that represent preemptable interrupts.function1[,function2[,...]]
The function acts as an interrupt in every way except that it can be interrupted by other
interrupts, preemptable or nonpreemptable. Interrupts are specified with the
option Interrupts (-interrupts). For
examples, see Define Preemptable Interrupts and Nonpreemptable Tasks (Polyspace Bug Finder).
To specify a function as a preemptable interrupt, you must first specify the function as an interrupt. The functions that you specify must have the prototype:
void function_name(void);
If you are running an analysis from the user interface
(Polyspace® desktop products only), on the Configuration pane, you can
enter this option in the Other field. See Other.
This option is not useful in a Polyspace as You Code analysis.
-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)