diff options
Diffstat (limited to 'gcc/ada/gnat_rm.texi')
| -rw-r--r-- | gcc/ada/gnat_rm.texi | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi index 80aa33d6630..adf4ec20a9d 100644 --- a/gcc/ada/gnat_rm.texi +++ b/gcc/ada/gnat_rm.texi @@ -5060,6 +5060,9 @@ desired. If the argument @code{No} is present, the task must not be optimized. GNAT does not attempt to optimize any tasks in this manner (since protected objects are available in place of passive tasks). +For more information on the subject of passive tasks, see the section +``Passive Task Optimization'' in the GNAT Users Guide. + @node Pragma Persistent_BSS @unnumberedsec Pragma Persistent_BSS @findex Persistent_BSS |
