[gcc(refs/users/guojiufu/heads/guojiufu-branch)] [Ada] Missing documentation for Returns_By_Ref

[Jiu Fu Guo]

https://gcc.gnu.org/g:7d4d54aa7c2d6dadcc24fb946b127bd1a179e3ec

commit 7d4d54aa7c2d6dadcc24fb946b127bd1a179e3ec
Author: Justin Squirek <squirek@adacore.com>
Date:   Sun Mar 1 04:18:57 2020 -0500

    [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.

Diff:
---
 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 97d1d644546..24901274f7d 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