diff options
Diffstat (limited to 'gcc/ada/doc')
| -rw-r--r-- | gcc/ada/doc/gnat_rm/implementation_defined_aspects.rst | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_aspects.rst b/gcc/ada/doc/gnat_rm/implementation_defined_aspects.rst index 736710d..de5efea 100644 --- a/gcc/ada/doc/gnat_rm/implementation_defined_aspects.rst +++ b/gcc/ada/doc/gnat_rm/implementation_defined_aspects.rst @@ -564,9 +564,11 @@ Aspect Unreferenced =================== .. index:: Unreferenced -This boolean aspect is equivalent to :ref:`pragma Unreferenced<Pragma-Unreferenced>`. Note that -in the case of formal parameters, it is not permitted to have aspects for -a formal parameter, so in this case the pragma form must be used. +This boolean aspect is equivalent to :ref:`pragma Unreferenced<Pragma-Unreferenced>`. + +When using the ``-gnatX`` switch, this aspect is also supported on formal +parameters, which is in particular the only form possible for expression +functions. Aspect Unreferenced_Objects =========================== |