From 7d4d54aa7c2d6dadcc24fb946b127bd1a179e3ec Mon Sep 17 00:00:00 2001 From: Justin Squirek Date: Sun, 1 Mar 2020 04:18:57 -0500 Subject: [PATCH] [Ada] Missing documentation for Returns_By_Ref 2020-06-09 Justin Squirek gcc/ada/ * einfo.ads (Returns_By_Ref): Modify documentation to reflect that Returns_By_Ref can be applied to E_Subprogram_Type entities. --- gcc/ada/einfo.ads | 8 +++++--- 1 file 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 -- 2.7.4