sem_util.ads (Find_Specific_Type): Moved here from exp_disp.adb.
authorEd Schonberg <schonberg@adacore.com>
Thu, 31 Jul 2014 12:26:19 +0000 (12:26 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 31 Jul 2014 12:26:19 +0000 (14:26 +0200)
commit3dddb11ea42ee8c8cbb235f99ef6986e84919b4e
tree9cb2ffd0f833fe97277a9207f023a1eef322dba5
parent9420f51f051e07b8c60e36e1ef45806788d4e590
sem_util.ads (Find_Specific_Type): Moved here from exp_disp.adb.

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.

From-SVN: r213345
gcc/ada/ChangeLog
gcc/ada/exp_attr.adb
gcc/ada/exp_ch4.adb
gcc/ada/exp_disp.adb
gcc/ada/exp_util.adb
gcc/ada/sem_util.adb
gcc/ada/sem_util.ads