[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 76bb157..e285ebc 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 d601642..afe59ef 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: