re PR ada/17985 (GNAT accepts extension aggregate where expexted type is not extension)
authorSamuel Tardieu <sam@rfc1149.net>
Sun, 13 Apr 2008 18:15:20 +0000 (18:15 +0000)
committerSamuel Tardieu <sam@gcc.gnu.org>
Sun, 13 Apr 2008 18:15:20 +0000 (18:15 +0000)
commit92d4508a7db153423b0572047fa6947af569d4b6
treec4b975b66545fd016e2b72fc1d429e06e87136df
parent3354f96dac09a7c57641fd19083f3aefe0790a35
re PR ada/17985 (GNAT accepts extension aggregate where expexted type is not extension)

    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.

From-SVN: r134244
gcc/ada/ChangeLog
gcc/ada/sem_aggr.adb
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/ancestor_type.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/ancestor_type.ads [new file with mode: 0644]