r260723 - in /trunk/gcc: ada/ChangeLog ada/sem_...

[pmderodat@gcc.gnu.org]

Author: pmderodat
Date: Fri May 25 09:03:41 2018
New Revision: 260723

URL: https://gcc.gnu.org/viewcvs?rev=260723&root=gcc&view=rev
Log:
[Ada] Checks on instantiations with formal derived types with interfaces

This patch implements the rule stated in RM 12.5.5 : the actual shall be
a descendant of very progenitor of the formal type.

2018-05-25  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

	* sem_ch12.adb (Validate_Derived_Type_Instance): Verify that the actual
	for a formal derived type implements all the interfaces declared for
	the formal.

gcc/testsuite/

	* gnat.dg/interface6.adb: New testcase.

Added:
    trunk/gcc/testsuite/gnat.dg/interface6.adb
Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/sem_ch12.adb
    trunk/gcc/testsuite/ChangeLog