https://gcc.gnu.org/g:d4dfaac0489b52a20289ceb49365728a926cbf6d
commit r16-6630-gd4dfaac0489b52a20289ceb49365728a926cbf6d Author: Tonu Naks <[email protected]> Date: Wed Dec 17 12:06:32 2025 +0000 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: --- .../gnat_rm/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 f9ff06849ad6..1e065e898919 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 04388994194a..a5fb7f0bb97e 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 9edf1aa47f21..e8ed558a62fd 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
