ada: Update GNAT RM after implementing Indefinite_Holders

gcc/ada/ChangeLog:

	* doc/gnat_rm/implementation_of_ada_2022_features.rst: update
	AI12-0350, add AI12-0254.
	* gnat_rm.texi: Regenerate.
	* gnat_ugn.texi: Regenerate.

diff --git a/gcc/ada/doc/gnat_rm/implementation_of_ada_2022_features.rst b/gcc/ada/doc/gnat_rm/implementation_of_ada_2022_features.rst
index f9ff06849ad603669ecaa5a7da035663dae609fe..1e065e898919b2493e7491712a36741787ee09c9 100644 (file)
--- a/gcc/ada/doc/gnat_rm/implementation_of_ada_2022_features.rst
+++ b/gcc/ada/doc/gnat_rm/implementation_of_ada_2022_features.rst
@@ -1496,6 +1496,15 @@ http://www.ada-auth.org/AI12-SUMMARY.HTML.
 
   RM references: C.03.01 (13)
 
+.. index:: AI12-0254 (Ada 2022 feature)
+
+* *AI12-0254 Bounded_Indefinite_Holders (2025-12-15)*
+
+  This AI defines a new package ``Ada.Containers.Indefinite_Holders`` which
+  is fully implemented by GNAT.
+
+  RM references: A.18.32 (0)
+
 .. index:: AI12-0256 (Ada 2022 feature)
 
 * *AI12-0256 Aspect No_Controlled_Parts (2021-01-26)*
@@ -1943,10 +1952,9 @@ http://www.ada-auth.org/AI12-SUMMARY.HTML.
 
 .. index:: AI12-0350 (Ada 2022 feature)
 
-* *AI12-0350 Swap for Indefinite_Holders (0000-00-00)*
+* *AI12-0350 Swap for Indefinite_Holders (2025-12-15)*
 
-  Add a ``Swap`` procedure to the predefined package
-  ``Ada.Containers.Indefinite_Holders``. The AI also contains implementation advice for ``Ada.Containers.Bounded_Indefinite_Holders``, a package that is not implemented by GNAT.
+  Package ``Ada.Containers.Indefinite_Holders`` is implemented in GNAT, comprising the support for ``Swap`` as specified by this AI.
 
   RM references: A.18.18 (22/5) A.18.18 (67/5) A.18.18 (73/3) A.18.32 (13/5)
 

diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi
index 04388994194a5ecc46d4b122c79dc92aff8eda99..a5fb7f0bb97edfb91addb252489b7b30f9653331 100644 (file)
--- a/gcc/ada/gnat_rm.texi
+++ b/gcc/ada/gnat_rm.texi
@@ -29544,6 +29544,20 @@ Program_Error when more than one interrupt handler is attached to the same inter
 RM references: C.03.01 (13)
 @end itemize
 
+@geindex AI12-0254 (Ada 2022 feature)
+
+
+@itemize *
+
+@item 
+`AI12-0254 Bounded_Indefinite_Holders (2025-12-15)'
+
+This AI defines a new package @code{Ada.Containers.Indefinite_Holders} which
+is fully implemented by GNAT.
+
+RM references: A.18.32 (0)
+@end itemize
+
 @geindex AI12-0256 (Ada 2022 feature)
 
 
@@ -30225,10 +30239,9 @@ RM references: 3.10.02 (5) 3.10.02 (7/4) 3.10.02 (10.5/3) 3.10.02 (13.4/4)
 @itemize *
 
 @item 
-`AI12-0350 Swap for Indefinite_Holders (0000-00-00)'
+`AI12-0350 Swap for Indefinite_Holders (2025-12-15)'
 
-Add a @code{Swap} procedure to the predefined package
-@code{Ada.Containers.Indefinite_Holders}. The AI also contains implementation advice for @code{Ada.Containers.Bounded_Indefinite_Holders}, a package that is not implemented by GNAT.
+Package @code{Ada.Containers.Indefinite_Holders} is implemented in GNAT, comprising the support for @code{Swap} as specified by this AI.
 
 RM references: A.18.18 (22/5) A.18.18 (67/5) A.18.18 (73/3) A.18.32 (13/5)
 @end itemize

diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi
index 9edf1aa47f21f4099638298ab3d8f2be2a9fb3f6..e8ed558a62fd5014f73736b0e5ff8b88923fd3e9 100644 (file)
--- a/gcc/ada/gnat_ugn.texi
+++ b/gcc/ada/gnat_ugn.texi
@@ -30269,8 +30269,8 @@ to permit their use in free software.
 
 @printindex ge
 
-@anchor{gnat_ugn/gnat_utility_programs switches-related-to-project-files}@w{                              }
 @anchor{d2}@w{                              }
+@anchor{gnat_ugn/gnat_utility_programs switches-related-to-project-files}@w{                              }
 
 @c %**end of body
 @bye