diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-09-10 17:09:33 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-09-10 17:09:33 +0200 |
| commit | 4bb9c7b9ed2ddc21915fd41fcac2bd0b77609c7c (patch) | |
| tree | d84e0f24984fb57d8df8e6e6cf11bfab406ce96c /gcc/ada/sem_ch3.adb | |
| parent | cdcf1c7ae29ef372a214904575aad282171285ff (diff) | |
| download | gcc-4bb9c7b9ed2ddc21915fd41fcac2bd0b77609c7c.zip gcc-4bb9c7b9ed2ddc21915fd41fcac2bd0b77609c7c.tar.gz gcc-4bb9c7b9ed2ddc21915fd41fcac2bd0b77609c7c.tar.bz2 | |
[multiple changes]
2013-09-10 Robert Dewar <dewar@adacore.com>
* switch-c.adb: Diagnose -gnatc given after -gnatRm.
* gnat_ugn.texi: Add documentation for -gnatRm.
* usage.adb: Minor reorganization (put style entries in proper
order) Document -gnatRm switch.
* sinfo.ads: Minor comment fix.
2013-09-10 Sergey Rybin <rybin@adacore.com frybin>
* tree_io.ads: Update ASIS_Version_Number.
2013-09-10 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Access_Subprogram_Declaration): Check whether the
designated type can appear in a parameterless call.
* sem_ch4.adb (Analyze_Call): Do not insert an explicit dereference
in the case of an indirect call through an access function that
returns an array type.
(Analyze_One_Call): Handle properly legal parameterless calls
whose result is indexed, in constructs of the for F.all (I)
* sem_ch6.ads (May_Need_Actuals): Make public, for use on access
to subprogram types.
* sem_res.adb (Resolve_Call): If the call is indirect, there is
no entity to set on the name in the call.
From-SVN: r202461
Diffstat (limited to 'gcc/ada/sem_ch3.adb')
| -rw-r--r-- | gcc/ada/sem_ch3.adb | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb index 36882bd..b3f99c4 100644 --- a/gcc/ada/sem_ch3.adb +++ b/gcc/ada/sem_ch3.adb @@ -1256,6 +1256,11 @@ package body Sem_Ch3 is end loop; end if; + -- Check whether an indirect call without actuals may be possible. This + -- is used when resolving calls whose result is then indexed. + + May_Need_Actuals (Desig_Type); + -- If the return type is incomplete, this is legal as long as the type -- is declared in the current scope and will be completed in it (rather -- than being part of limited view). |