diff options
author | Richard Kenner <kenner@adacore.com> | 2021-04-01 11:35:07 -0400 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-06-21 06:45:15 -0400 |
commit | d315f859f89dc925cc60c6df53a615b97be110e5 (patch) | |
tree | 67b5da1d6de4e17799cfe553e99fc42c49cf024d /gcc/ada/einfo.ads | |
parent | 9418d3d41f581edd9acfdc4f359d37f948c1671e (diff) | |
download | gcc-d315f859f89dc925cc60c6df53a615b97be110e5.zip gcc-d315f859f89dc925cc60c6df53a615b97be110e5.tar.gz gcc-d315f859f89dc925cc60c6df53a615b97be110e5.tar.bz2 |
[Ada] Add Return_Statement field
gcc/ada/
* einfo.ads (Return_Statement): Add documentation.
* exp_ch6.adb (Expand_N_Extended_Return_Statement): Set it.
* gen_il-fields.ads: Add it.
* gen_il-gen-gen_entities.adb: Add it.
Diffstat (limited to 'gcc/ada/einfo.ads')
-rw-r--r-- | gcc/ada/einfo.ads | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads index 93ccffb..4c5a2da 100644 --- a/gcc/ada/einfo.ads +++ b/gcc/ada/einfo.ads @@ -4206,6 +4206,11 @@ package Einfo is -- entities (for convenience in setting it), but is only tested -- for the function case. +-- Return_Statement +-- Defined in E_Variable. Set when Is_Return_Object is set, in which +-- case it points to the N_Simple_Return_Statement made from the +-- extended return statement. + -- Returns_By_Ref -- Defined in subprogram type entities and functions. Set if a function -- (or an access-to-function type) returns a result by reference, either |