From: Tonu Naks <[email protected]>
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.
Tested on x86_64-pc-linux-gnu (before the recent bootstrap breakage), committed
on master.
---
.../implementation_of_ada_2022_features.rst | 14 +++++++++++---
gcc/ada/gnat_rm.texi | 19 ++++++++++++++++---
gcc/ada/gnat_ugn.texi | 2 +-
3 files changed, 28 insertions(+), 7 deletions(-)
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 f9ff06849ad..1e065e89891 100644
--- 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 04388994194..a5fb7f0bb97 100644
--- 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 9edf1aa47f2..e8ed558a62f 100644
--- 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
--
2.51.0
