diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2025-11-11 23:54:24 +0100 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2025-11-21 09:29:37 +0100 |
| commit | 249d08eb121aa569208a9688894c7246fd1e22a1 (patch) | |
| tree | 3e65f6a33044f839d17900179c83ef94452b5f98 | |
| parent | 35f7214070c05198baf266c12606d947b7c2280c (diff) | |
ada: Update description of extra formals for build-in-place functions.
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.
| -rw-r--r-- | gcc/ada/exp_ch6.ads | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/gcc/ada/exp_ch6.ads b/gcc/ada/exp_ch6.ads index 3867270e71a..b32ac77e5b4 100644 --- a/gcc/ada/exp_ch6.ads +++ b/gcc/ada/exp_ch6.ads @@ -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 |