http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57383
Bug ID: 57383
Summary: Illegal program not detected, RM 7.3(10.1)
Product: gcc
Version: 4.5.4
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
Assignee: unassigned at gcc dot gnu.org
Reporter: adam at irvine dot com
Created attachment 30171
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30171&action=edit
source code
RM 7.3(10.1) makes it clear that if you declare a private extension that has
the LIMITED keyword, and the full type is a derived type definition, then the
full type definition must also include the LIMITED keyword; it isn't enough for
the full type definition to be limited for other reasons, the keyword has to be
there. Based on that, the attached source should be rejected, but the error is
not detected.
