This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r138591 - in /trunk/gcc/ada: sem_ch3.adb sem_ch...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Mon, 04 Aug 2008 09:36:10 -0000
- Subject: r138591 - in /trunk/gcc/ada: sem_ch3.adb sem_ch...
Author: charlet
Date: Mon Aug 4 09:36:10 2008
New Revision: 138591
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=138591
Log:
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.
Modified:
trunk/gcc/ada/sem_ch3.adb
trunk/gcc/ada/sem_ch4.adb
trunk/gcc/ada/sem_ch6.adb
trunk/gcc/ada/sem_res.adb