From: Eric Botcazou <ebotca...@adacore.com> This removes a reference to a mechanism that didn't make it into the final implementation and completes the description of another.
gcc/ada/ * libgnat/s-finpri.ads (Finalize_Master): Remove obsolete reference in the description. (Finalize_Object): Document the effects of repeated calls. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/libgnat/s-finpri.ads | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/gcc/ada/libgnat/s-finpri.ads b/gcc/ada/libgnat/s-finpri.ads index de775caee91..ab79ea2c664 100644 --- a/gcc/ada/libgnat/s-finpri.ads +++ b/gcc/ada/libgnat/s-finpri.ads @@ -92,13 +92,12 @@ package System.Finalization_Primitives with Preelaborate is procedure Finalize_Master (Master : in out Finalization_Scope_Master); -- Finalizes each of the controlled objects associated with Master, in the - -- reverse of the order in which they were attached, and releases the space - -- that was allocated on the secondary stack if Master.SS_Mark is not null. - -- Calls to this procedure with a Master that has already been finalized - -- have no effects. + -- reverse of the order in which they were attached. Calls to the procedure + -- with a Master that has already been finalized have no effects. procedure Finalize_Object (Node : in out Master_Node); - -- Finalizes the controlled object attached to Node + -- Finalizes the controlled object attached to Node. Calls to the procedure + -- with a Node that has already been finalized have no effects. procedure Suppress_Object_Finalize_At_End (Node : in out Master_Node); -- Changes the state of Node to effectively suppress a call to Node's -- 2.43.2