Specify functions that represent nonpreemptable tasks
-non-preemptable-tasks function1[,function2[,...]]
-non-preemptable-tasks specifies
functions that represent nonpreemptable tasks.function1[,function2[,...]]
The functions cannot be interrupted by other noncyclic tasks and cyclic tasks
but can be interrupted by interrupts, preemptable or nonpreemptable.
Noncyclic tasks are specified with the option Tasks (-entry-points), cyclic
tasks with the option Cyclic tasks (-cyclic-tasks)
and interrupts with the option Interrupts (-interrupts). For
examples, see Define Preemptable Interrupts and Nonpreemptable Tasks.
To specify a function as a nonpreemptable cyclic task, you must first specify the function as a cyclic or noncyclic task. 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)