r148844 - in /trunk/gcc/ada: ChangeLog sem_attr...

[charlet@gcc.gnu.org]

Author: charlet
Date: Tue Jun 23 10:15:47 2009
New Revision: 148844

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=148844
Log:
2009-06-23  Hristian Kirtchev  <kirtchev@adacore.com>

	* sem_attr.adb: Add with and use clauses for Sem_Ch10.
	(Check_Not_Incomplete_Type): Minor reformatting. Retrieve the root type
	when dealing with class-wide types. Detect a legal shadow entity and
	retrieve its non-limited view.

	* sem_ch10.adb (Has_With_Clause): Move the spec and body of the
	subprogram to top package level from Intall_Limited_Withed_Unit.
	(Install_Limited_Withed_Unit): Remove spec and body of Has_With_Clause.
	Add check which prevents the installation of a limited view if the
	non-limited view is already visible through a with clause.
	(Is_Legal_Shadow_Entity_In_Body): New routine. Detect a residual, but
	legal shadow entity which may occur in subprogram formals of anonymous
	access type.

	* sem_ch10.ads (Is_Legal_Shadow_Entity_In_Body): New routine.

	* sem_ch3.adb (Access_Definition): Remove the propagation of flag
	From_With_Type from the designated type to the generated anonymous
	access type. Remove associated comment.

	* sem_res.adb Add with and use clauses for Sem_Ch10.
	(Full_Designated_Type): Detect a legal shadow entity and retrieve its
	non-limited view. Since the shadow entity may replace a regular
	incomplete type, return the available full view.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/sem_attr.adb
    trunk/gcc/ada/sem_ch10.adb
    trunk/gcc/ada/sem_ch10.ads
    trunk/gcc/ada/sem_ch3.adb
    trunk/gcc/ada/sem_res.adb