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 --git a/gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst b/gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst
index 728d63a8e9242f6f78d6135e27101a5e53a238aa..877d043f42e6e2c6bf31704281f7f2a729499bca 100644 (file)
--- 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 1e6fb0936725b16c758b3f2fe2cc41f1080ef7a3..e8fa3079e4728f5368b1934c0a5459e9e595800a 100644 (file)
--- 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 73f496fcdabc5342a67c7aa043d853a3279a6c52..04e181bcb24310de8fa31d38166059f3af0deca0 100644 (file)
--- 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