diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2018-05-25 09:03:41 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-05-25 09:03:41 +0000 |
| commit | a036d1de575622d6cc7efb8d1de75ce9c4a27de4 (patch) | |
| tree | d5d357f0f77c35119a05b75b2352177283ee37c0 /gcc/tree-vect-loop.c | |
| parent | 1f233db3745890d8c9bed07f44a8b078bb2a0ee9 (diff) | |
| download | gcc-a036d1de575622d6cc7efb8d1de75ce9c4a27de4.zip gcc-a036d1de575622d6cc7efb8d1de75ce9c4a27de4.tar.gz gcc-a036d1de575622d6cc7efb8d1de75ce9c4a27de4.tar.bz2 | |
[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.
From-SVN: r260723
Diffstat (limited to 'gcc/tree-vect-loop.c')
0 files changed, 0 insertions, 0 deletions