r146229 - in /trunk/gcc/ada: freeze.adb sem_ch3...

[charlet@gcc.gnu.org]

Author: charlet
Date: Fri Apr 17 09:36:05 2009
New Revision: 146229

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=146229
Log:
2009-04-17  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch3.adb (Access_Subprogram_Definition): Additional checks on
	illegal uses of incomplete types in formal parts and return types.

	* sem_ch6.adb (Process_Formals): Taft-amendment types are legal in
	access to subprograms.

	* sem_ch7.adb (Uninstall_Declarations): diagnose attempts to use
	Taft-amendment types as the return type of an access_to_function type.

	* freeze.adb (Freeze_Entity): Remove tests on formals of an incomplete
	type for access_to_subprograms. The check is performed on package exit.


Modified:
    trunk/gcc/ada/freeze.adb
    trunk/gcc/ada/sem_ch3.adb
    trunk/gcc/ada/sem_ch6.adb
    trunk/gcc/ada/sem_ch7.adb