public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc r13-293] [Ada] Fix markup in description of pragma Eliminate
@ 2022-05-11 8:54 Pierre-Marie de Rodat
0 siblings, 0 replies; only message in thread
From: Pierre-Marie de Rodat @ 2022-05-11 8:54 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:351278f9aafbeebc0643bd8be9ba8cfdb8a20d56
commit r13-293-g351278f9aafbeebc0643bd8be9ba8cfdb8a20d56
Author: Piotr Trojanek <trojanek@adacore.com>
Date: Fri Jan 28 14:16:09 2022 +0100
[Ada] Fix markup in description of pragma Eliminate
Fix formatting of a nested bullet lists. Spotted while adding
description of pragma Ada_2022.
gcc/ada/
* doc/gnat_rm/implementation_defined_pragmas.rst (Pragma
Eliminate): Fix markup.
* gnat_rm.texi: Regenerate.
Diff:
---
.../doc/gnat_rm/implementation_defined_pragmas.rst | 38 ++++++++++------------
gcc/ada/gnat_rm.texi | 15 ++++++---
2 files changed, 28 insertions(+), 25 deletions(-)
diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
index bf213cb36be..8d753f70c2b 100644
--- a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
+++ b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
@@ -1765,27 +1765,23 @@ The pragma has the following semantics, where ``U`` is the unit specified by
the ``Unit_Name`` argument and ``E`` is the entity specified by the ``Entity``
argument:
-* ``E`` must be a subprogram that is explicitly declared either:
-
- o Within ``U``, or
-
- o Within a generic package that is instantiated in ``U``, or
-
- o As an instance of generic subprogram instantiated in ``U``.
-
- Otherwise the pragma is ignored.
-
-* If ``E`` is overloaded within ``U`` then, in the absence of a
- ``Source_Location`` argument, all overloadings are eliminated.
-
-* If ``E`` is overloaded within ``U`` and only some overloadings
- are to be eliminated, then each overloading to be eliminated
- must be specified in a corresponding pragma ``Eliminate``
- with a ``Source_Location`` argument identifying the line where the
- declaration appears, as described below.
-
-* If ``E`` is declared as the result of a generic instantiation, then
- a ``Source_Location`` argument is needed, as described below
+* ``E`` must be a subprogram that is explicitly declared either:
+
+ * Within ``U``, or
+ * Within a generic package that is instantiated in ``U``, or
+ * As an instance of generic subprogram instantiated in ``U``.
+
+ Otherwise the pragma is ignored.
+
+* If ``E`` is overloaded within ``U`` then, in the absence of a
+ ``Source_Location`` argument, all overloadings are eliminated.
+* If ``E`` is overloaded within ``U`` and only some overloadings
+ are to be eliminated, then each overloading to be eliminated
+ must be specified in a corresponding pragma ``Eliminate``
+ with a ``Source_Location`` argument identifying the line where the
+ declaration appears, as described below.
+* If ``E`` is declared as the result of a generic instantiation, then
+ a ``Source_Location`` argument is needed, as described below.
Pragma ``Eliminate`` allows a program to be compiled in a system-independent
manner, so that unused entities are eliminated but without
diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi
index 02336bda24d..2c9cfc05512 100644
--- a/gcc/ada/gnat_rm.texi
+++ b/gcc/ada/gnat_rm.texi
@@ -3185,11 +3185,18 @@ argument:
@item
@code{E} must be a subprogram that is explicitly declared either:
-o Within @code{U}, or
-o Within a generic package that is instantiated in @code{U}, or
+@itemize *
+
+@item
+Within @code{U}, or
-o As an instance of generic subprogram instantiated in @code{U}.
+@item
+Within a generic package that is instantiated in @code{U}, or
+
+@item
+As an instance of generic subprogram instantiated in @code{U}.
+@end itemize
Otherwise the pragma is ignored.
@@ -3206,7 +3213,7 @@ declaration appears, as described below.
@item
If @code{E} is declared as the result of a generic instantiation, then
-a @code{Source_Location} argument is needed, as described below
+a @code{Source_Location} argument is needed, as described below.
@end itemize
Pragma @code{Eliminate} allows a program to be compiled in a system-independent
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2022-05-11 8:54 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-05-11 8:54 [gcc r13-293] [Ada] Fix markup in description of pragma Eliminate Pierre-Marie de Rodat
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).