r213345 - in /trunk/gcc/ada: ChangeLog exp_attr...

[charlet@gcc.gnu.org]

Author: charlet
Date: Thu Jul 31 12:26:19 2014
New Revision: 213345

URL: https://gcc.gnu.org/viewcvs?rev=213345&root=gcc&view=rev
Log:
2014-07-31  Ed Schonberg  <schonberg@adacore.com>

	* sem_util.ads (Find_Specific_Type): Moved here from exp_disp.adb.
	* sem_util.adb (Find_Specific_Type): If type is untagged private,
	retrieve full view so that primitive operations can be located.
	* exp_disp.adb Move Find_Specific_Type to sem_util.
	* exp_ch4.adb (Expand_N_Op_Eq): If operands are class-wide, use
	Find_Specific_Type to locate primitive equality.
	* exp_util.adb (Make_CW_Equivalent_Type): A class_wide equivalent
	type does not require initialization.
	* exp_attr.adb (Compile_Stream_Body_In_Scope): Within an instance
	body all visibility is established, and the enclosing package
	declarations must not be installed.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/exp_attr.adb
    trunk/gcc/ada/exp_ch4.adb
    trunk/gcc/ada/exp_disp.adb
    trunk/gcc/ada/exp_util.adb
    trunk/gcc/ada/sem_util.adb
    trunk/gcc/ada/sem_util.ads