From: Eric Botcazou <[email protected]>
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
