[Bug ada/17985] GNAT accepts extension aggregate where expexted type is not extension

[sam at gcc dot gnu dot org]

------- Comment #2 from sam at gcc dot gnu dot org  2008-04-13 18:16 -------
Subject: Bug 17985

Author: sam
Date: Sun Apr 13 18:15:20 2008
New Revision: 134244

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=134244
Log:
    gcc/ada/
        PR ada/17985
        * sem_aggr.adb (Valid_Ancestor_Type): A type is not an ancestor of
        itself.

    gcc/testsuite/
        PR ada/17985
        * gnat.dg/ancestor_type.ads, gnat.dg/ancestor_type.adb: New test.

Added:
    trunk/gcc/testsuite/gnat.dg/ancestor_type.adb
    trunk/gcc/testsuite/gnat.dg/ancestor_type.ads
Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/sem_aggr.adb
    trunk/gcc/testsuite/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17985