https://gcc.gnu.org/g:63bf005b2f5047841730b1ba4ca0799c471f75d1
commit r15-1273-g63bf005b2f5047841730b1ba4ca0799c471f75d1
Author: Steve Baird <ba...@adacore.com>
Date: Fri Apr 19 16:08:39 2024 -0700
ada: Fix Super attribute documentation
The GNAT-defined Super attribute was formerly disallowed for an object of a
derived tagged type having an abstract parent type. This rule has been
relaxed;
an abstract parent type is now permitted as long as it is not an interface
type.
Update the GNAT RM accordingly.
gcc/ada/
* doc/gnat_rm/implementation_defined_attributes.rst:
Update Super attribute documentation.
* gnat_rm.texi: Regenerate.
* gnat_ugn.texi: Regenerate.
Diff:
---
gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst | 2 +-
gcc/ada/gnat_rm.texi | 2 +-
gcc/ada/gnat_ugn.texi | 2 +-
3 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst
b/gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst
index 728d63a8e924..877d043f42e6 100644
--- a/gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst
+++ b/gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst
@@ -1239,7 +1239,7 @@ The ``Super`` attribute can be applied to objects of
tagged types in order
to obtain a view conversion to the most immediate specific parent type.
It cannot be applied to objects of types without any ancestors, or types whose
-immediate parent is abstract.
+immediate parent is an interface type.
.. code-block:: ada
diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi
index 1e6fb0936725..e8fa3079e472 100644
--- a/gcc/ada/gnat_rm.texi
+++ b/gcc/ada/gnat_rm.texi
@@ -11712,7 +11712,7 @@ The @code{Super} attribute can be applied to objects of
tagged types in order
to obtain a view conversion to the most immediate specific parent type.
It cannot be applied to objects of types without any ancestors, or types whose
-immediate parent is abstract.
+immediate parent is an interface type.
@example
type T1 is tagged null record;
diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi
index 73f496fcdabc..04e181bcb243 100644
--- a/gcc/ada/gnat_ugn.texi
+++ b/gcc/ada/gnat_ugn.texi
@@ -29645,8 +29645,8 @@ to permit their use in free software.
@printindex ge
-@anchor{gnat_ugn/gnat_utility_programs switches-related-to-project-files}@w{
}
@anchor{d1}@w{ }
+@anchor{gnat_ugn/gnat_utility_programs switches-related-to-project-files}@w{
}
@c %**end of body
@bye
