r279304 - in /trunk/gcc/ada: ChangeLog sem_type...

[pmderodat@gcc.gnu.org]

Author: pmderodat
Date: Thu Dec 12 10:03:48 2019
New Revision: 279304

URL: https://gcc.gnu.org/viewcvs?rev=279304&root=gcc&view=rev
Log:
[Ada] Spurious error on universal access equality operator

2019-12-12  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

	* sem_type.adb (Find_Unique_Type): A call to the universal
	access equality operator requires one operand to be a universal
	access, and the other to be an access type. There is no
	requirement, as previously implied by this routine, that
	pool-specific access types were illegal in this context.

Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/sem_type.adb