diff options
author | Ed Schonberg <schonberg@adacore.com> | 2008-08-04 11:36:10 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-08-04 11:36:10 +0200 |
commit | 53cf46009d6ebd3039582eda6efa8676dc27c001 (patch) | |
tree | 1a7e3bd5f400c494e4d4e8a46e0e916140b7c2bc /gcc/ada/gcc-interface | |
parent | a037f912464e14216f579eccc996d7565a697433 (diff) | |
download | gcc-53cf46009d6ebd3039582eda6efa8676dc27c001.zip gcc-53cf46009d6ebd3039582eda6efa8676dc27c001.tar.gz gcc-53cf46009d6ebd3039582eda6efa8676dc27c001.tar.bz2 |
sem_ch3.adb (Access_Definition): A formal object declaration is a legal context for an anonymous access to...
2008-08-04 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Access_Definition): A formal object declaration is a
legal context for an anonymous access to subprogram.
* sem_ch4.adb (Analyze_One_Call): If the call can be interpreted as an
indirect call, report success to the caller to include possible
interpretation.
* sem_ch6.adb (Check_Return_Type_Indication): Apply proper conformance
check when the type
of the extended return is an anonymous access_to_subprogram type.
* sem_res.adb:
(Resolve_Call): Insert a dereference if the type of the subprogram is an
access_to_subprogram and the context requires its return type, and a
dereference has not been introduced previously.
From-SVN: r138591
Diffstat (limited to 'gcc/ada/gcc-interface')
0 files changed, 0 insertions, 0 deletions