[COMMITED] ada: Doc: rename Valid_Image to Valid_Value

[COMMITED] ada: Doc: rename Valid_Image to Valid_Value

[Marc Poulhiès]

From: Ghjuvan Lacambre <lacambre@adacore.com>

This renaming happened some time ago in the code, but the documentation
was not updated.

gcc/ada/

	* doc/gnat_rm/implementation_defined_attributes.rst: Rename Valid_Image.
	* gnat_rm.texi: Regenerate.
	* gnat_ugn.texi: Regenerate.
---
 .../implementation_defined_attributes.rst     |  8 +++----
 gcc/ada/gnat_rm.texi                          | 22 +++++++++----------
 gcc/ada/gnat_ugn.texi                         |  2 +-
 3 files changed, 16 insertions(+), 16 deletions(-)

diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst b/gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst
index c25e3d44158..d839b1fd2e7 100644
--- a/gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst
+++ b/gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst
@@ -1623,13 +1623,13 @@ Multi-dimensional arrays can be modified, as shown by this example:
 
 which changes element (1,2) to 20 and (3,4) to 30.
 
-Attribute Valid_Image
+Attribute Valid_Value
 =======================
-.. index:: Valid_Image
+.. index:: Valid_Value
 
-The ``'Valid_Image`` attribute is defined for enumeration types other than
+The ``'Valid_Value`` attribute is defined for enumeration types other than
 those in package Standard. This attribute is a function that takes
-a String, and returns Boolean. ``T'Valid_Image (S)`` returns True
+a String, and returns Boolean. ``T'Valid_Value (S)`` returns True
 if and only if ``T'Value (S)`` would not raise Constraint_Error.
 
 Attribute Valid_Scalars
diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi
index cdf8605f118..64f2e796d8a 100644
--- a/gcc/ada/gnat_rm.texi
+++ b/gcc/ada/gnat_rm.texi
@@ -19,7 +19,7 @@
 
 @copying
 @quotation
-GNAT Reference Manual , Sep 09, 2022
+GNAT Reference Manual , Sep 23, 2022
 
 AdaCore
 
@@ -433,7 +433,7 @@ Implementation Defined Attributes
 * Attribute Universal_Literal_String:: 
 * Attribute Unrestricted_Access:: 
 * Attribute Update:: 
-* Attribute Valid_Image:: 
+* Attribute Valid_Value:: 
 * Attribute Valid_Scalars:: 
 * Attribute VADS_Size:: 
 * Attribute Value_Size:: 
@@ -10295,7 +10295,7 @@ consideration, you should minimize the use of these attributes.
 * Attribute Universal_Literal_String:: 
 * Attribute Unrestricted_Access:: 
 * Attribute Update:: 
-* Attribute Valid_Image:: 
+* Attribute Valid_Value:: 
 * Attribute Valid_Scalars:: 
 * Attribute VADS_Size:: 
 * Attribute Value_Size:: 
@@ -12040,7 +12040,7 @@ In general this is a risky approach. It may appear to “work” but such uses o
 @code{Unrestricted_Access} are potentially non-portable, even from one version
 of GNAT to another, so are best avoided if possible.
 
-@node Attribute Update,Attribute Valid_Image,Attribute Unrestricted_Access,Implementation Defined Attributes
+@node Attribute Update,Attribute Valid_Value,Attribute Unrestricted_Access,Implementation Defined Attributes
 @anchor{gnat_rm/implementation_defined_attributes attribute-update}@anchor{1ac}
 @section Attribute Update
 
@@ -12121,19 +12121,19 @@ A := A'Update ((1, 2) => 20, (3, 4) => 30);
 
 which changes element (1,2) to 20 and (3,4) to 30.
 
-@node Attribute Valid_Image,Attribute Valid_Scalars,Attribute Update,Implementation Defined Attributes
-@anchor{gnat_rm/implementation_defined_attributes attribute-valid-image}@anchor{1ad}
-@section Attribute Valid_Image
+@node Attribute Valid_Value,Attribute Valid_Scalars,Attribute Update,Implementation Defined Attributes
+@anchor{gnat_rm/implementation_defined_attributes attribute-valid-value}@anchor{1ad}
+@section Attribute Valid_Value
 
 
-@geindex Valid_Image
+@geindex Valid_Value
 
-The @code{'Valid_Image} attribute is defined for enumeration types other than
+The @code{'Valid_Value} attribute is defined for enumeration types other than
 those in package Standard. This attribute is a function that takes
-a String, and returns Boolean. @code{T'Valid_Image (S)} returns True
+a String, and returns Boolean. @code{T'Valid_Value (S)} returns True
 if and only if @code{T'Value (S)} would not raise Constraint_Error.
 
-@node Attribute Valid_Scalars,Attribute VADS_Size,Attribute Valid_Image,Implementation Defined Attributes
+@node Attribute Valid_Scalars,Attribute VADS_Size,Attribute Valid_Value,Implementation Defined Attributes
 @anchor{gnat_rm/implementation_defined_attributes attribute-valid-scalars}@anchor{1ae}
 @section Attribute Valid_Scalars
 
diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi
index 77d239f797c..7d96dbe6aa1 100644
--- a/gcc/ada/gnat_ugn.texi
+++ b/gcc/ada/gnat_ugn.texi
@@ -29319,8 +29319,8 @@ to permit their use in free software.
 
 @printindex ge
 
-@anchor{cf}@w{                              }
 @anchor{gnat_ugn/gnat_utility_programs switches-related-to-project-files}@w{                              }
+@anchor{cf}@w{                              }
 
 @c %**end of body
 @bye
-- 
2.25.1