From: Arnaud Charlet <charlet@adacore.com>
Date: Fri, 14 Feb 2020 08:12:30 +0000 (-0500)
Subject: [Ada] Update doc on Enum_Rep/Enum_Val
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fccf77d504b72a749b6aba877454b9d846c0b568;p=gcc.git

[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 76bb1575411..e285ebcc405 100644
--- 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 d6016425c5b..afe59eff5ab 100644
--- 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: