r177087 - in /trunk/gcc/ada: ChangeLog exp_cg.a...

[charlet at gcc dot gnu dot org]

Author: charlet
Date: Tue Aug  2 07:46:39 2011
New Revision: 177087

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=177087
Log:
2011-08-02  Javier Miranda  <miranda@adacore.com>

	* sem_type.ads, sem_type.adb (Is_Ancestor): Addition of a new formal
	(Use_Full_View) which permits this routine to climb through the
	ancestors using the full-view of private parents.
	* sem_util.adb (Collect_Interfaces_Info, Implements_Interface): Set
	Use_Full_View to true in calls to Is_Ancestor.
	* sem_disp.adb (Override_Dispatching_Operation): Set Use_Full_View to
	true in call to Is_Ancestor.
	* exp_ch3.adb (Build_Offset_To_Top_Functions, Initialize_Tag): Set
	Use_Full_View to true in call to Is_Ancestor.
	* exp_ch7.adb (Controller_Component): Set Use_Full_View to true in
	call to Is_Ancestor.
	* exp_ch4.adb (Expand_N_Type_Conversion, Tagged_Membership): Set
	Use_Full_View to true in calls to Is_Ancestor.
	* exp_disp.adb (Expand_Interface_Actuals, Make_Secondary_DT, Make_DT,
	Make_Select_Specific_Data_Table, Register_Primitive,
	Set_All_DT_Position): Set Use_Full_View to true in calls to Is_Ancestor.
	* exp_intr.adb (Expand_Dispatching_Constructor_Call): Set Use_Full_View
	to true in call to Is_Ancestor.
	* exp_util.adb (Find_Interface_ADT, Find_Interface_Tag): Set
	Use_Full_View to true in calls to Is_Ancestor.
	* exp_cg.adb
	(Write_Call_Info): Set Use_Full_View to true in call to Is_Ancestor.
	(Write_Type_Info): Set Use_Full_View to true in call to Is_Ancestor.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/exp_cg.adb
    trunk/gcc/ada/exp_ch3.adb
    trunk/gcc/ada/exp_ch4.adb
    trunk/gcc/ada/exp_ch7.adb
    trunk/gcc/ada/exp_disp.adb
    trunk/gcc/ada/exp_intr.adb
    trunk/gcc/ada/exp_util.adb
    trunk/gcc/ada/sem_disp.adb
    trunk/gcc/ada/sem_type.adb
    trunk/gcc/ada/sem_type.ads
    trunk/gcc/ada/sem_util.adb