[Ada] Update doc on Enum_Rep/Enum_Val

2020-06-08  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

	* doc/gnat_rm/implementation_defined_attributes.rst:
	Enum_Rep/Enum_Val are standard Ada 202x attributes.
	* gnat_rm.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 76bb1575411b9a4120fe28ec41c1ff016d6f8eda..e285ebcc40501c550579ccd4912aad0642c45ad5 100644 (file)
--- a/gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst
+++ b/gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst
@@ -336,6 +336,9 @@ Attribute Enum_Rep
 
 .. index:: Enum_Rep
 
+Note that this attribute is now standard in Ada 202x and is available
+as an implementation defined attribute for earlier Ada versions.
+
 For every enumeration subtype ``S``, ``S'Enum_Rep`` denotes a
 function with the following spec:
 
@@ -371,6 +374,9 @@ Attribute Enum_Val
 
 .. index:: Enum_Val
 
+Note that this attribute is now standard in Ada 202x and is available
+as an implementation defined attribute for earlier Ada versions.
+
 For every enumeration subtype ``S``, ``S'Enum_Val`` denotes a
 function with the following spec:
 

diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi
index d6016425c5b47e46662c573af12d80cd701caa29..afe59eff5abef05194d84fa85db20e5864b709ef 100644 (file)
--- a/gcc/ada/gnat_rm.texi
+++ b/gcc/ada/gnat_rm.texi
@@ -10453,6 +10453,9 @@ the package or subprogram, controlling whether the check will be present.
 
 @geindex Enum_Rep
 
+Note that this attribute is now standard in Ada 202x and is available
+as an implementation defined attribute for earlier Ada versions.
+
 For every enumeration subtype @code{S}, @code{S'Enum_Rep} denotes a
 function with the following spec:
 
@@ -10490,6 +10493,9 @@ may raise @code{Constraint_Error}.
 
 @geindex Enum_Val
 
+Note that this attribute is now standard in Ada 202x and is available
+as an implementation defined attribute for earlier Ada versions.
+
 For every enumeration subtype @code{S}, @code{S'Enum_Val} denotes a
 function with the following spec: