diff options
| author | Justin Squirek <squirek@adacore.com> | 2020-03-01 04:18:57 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-09 04:09:04 -0400 |
| commit | 7d4d54aa7c2d6dadcc24fb946b127bd1a179e3ec (patch) | |
| tree | 8c740cd5f61ec2e8054089f383498d0800cca79b /gcc | |
| parent | d4fd46371a6fd708c4c16ccd7b56410d9cfc72e6 (diff) | |
| download | gcc-7d4d54aa7c2d6dadcc24fb946b127bd1a179e3ec.zip gcc-7d4d54aa7c2d6dadcc24fb946b127bd1a179e3ec.tar.gz gcc-7d4d54aa7c2d6dadcc24fb946b127bd1a179e3ec.tar.bz2 | |
[Ada] Missing documentation for Returns_By_Ref
2020-06-09 Justin Squirek <squirek@adacore.com>
gcc/ada/
* einfo.ads (Returns_By_Ref): Modify documentation to reflect
that Returns_By_Ref can be applied to E_Subprogram_Type
entities.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/einfo.ads | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads index 97d1d64..2490127 100644 --- a/gcc/ada/einfo.ads +++ b/gcc/ada/einfo.ads @@ -4177,9 +4177,10 @@ package Einfo is -- for the function case. -- Returns_By_Ref (Flag90) --- Defined in function entities. Set if the function returns the result --- by reference, either because its return type is a by-reference-type --- or because the function explicitly uses the secondary stack. +-- Defined in subprogram type entities and functions. Set if a +-- function (or an access to function type) returns a result by +-- reference, either because its return type is a by-reference-type or +-- because said function explicitly uses the secondary stack. -- Reverse_Bit_Order (Flag164) [base type only] -- Defined in all record type entities. Set if entity has a Bit_Order @@ -6721,6 +6722,7 @@ package Einfo is -- First_Formal_With_Extras (synth) -- Last_Formal (synth) -- Number_Formals (synth) + -- Returns_By_Ref (Flag90) -- (plus type attributes) -- E_Task_Body |