[Ada] Handling of anonymous access to subprograms in assignments and calls.

[Arnaud Charlet <charlet at adacore dot com>]

These patches fix a number of small problems in the semantic analysis of
expressions involving both regular and protected  anonymous access to
subprograms in various contexts. Examples can be found in ACATS test C3A0026.

Tested on i686-pc-linux-gnu, committed on trunk

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.

Attachment: difs
Description: Text document