]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Update description of extra formals for build-in-place functions.
authorEric Botcazou <ebotcazou@adacore.com>
Tue, 11 Nov 2025 22:54:24 +0000 (23:54 +0100)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Fri, 21 Nov 2025 08:29:37 +0000 (09:29 +0100)
This updates the description of the various kinds of extra formals after the
latest change made to the implementation.

gcc/ada/ChangeLog:

* exp_ch6.ads (BIP_Formal_Kind): Update description of some values.

gcc/ada/exp_ch6.ads

index 3867270e71a9e05f02c3945737fbd1de095bf0cd..b32ac77e5b49ba5b79daf9790dca64de036e948b 100644 (file)
@@ -67,18 +67,18 @@ package Exp_Ch6 is
       --  Present if result subtype is returned on the secondary stack or is
       --  tagged: in this case, this indicates whether the return object is
       --  allocated by the caller or callee, and if the callee, whether to
-      --  use the secondary stack, the global heap or a storage pool. Also
-      --  present if result type needs finalization.
+      --  use the secondary stack, the global heap or a storage pool.
 
       BIP_Storage_Pool,
       --  Present if result subtype is returned on the secondary stack or is
       --  tagged: in this case, if BIP_Alloc_Form = User_Storage_Pool, this
       --  is a pointer to the pool (of type Root_Storage_Pool_Ptr); otherwise
-      --  this is null. Also present if result type needs finalization.
+      --  this is null.
 
       BIP_Collection,
-      --  Present if result type needs finalization. Pointer to the collection
-      --  of the access type used by the caller.
+      --  Present if result type is returned on the secondary stack and needs
+      --  finalization, or is tagged. Pointer to the collection of the access
+      --  type used by the caller.
 
       BIP_Task_Master,
       --  Present if result type contains tasks. Master associated with