[Bug ada/17985] GNAT accepts extension aggregate where expexted type is not extension
sam at gcc dot gnu dot org
gcc-bugzilla@gcc.gnu.org
Sun Apr 13 18:16:00 GMT 2008
------- 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
More information about the Gcc-bugs
mailing list