@@ -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
From: Eric Botcazou <ebotcazou@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(-)