The compiler incorrectly accepts the following:
generic
package pak1 is
pragma Pure;
type T1 is access integer; --ERROR: named access type not allowed in pure
unit
end pak1;
The bug is triggered by the "generic" keyword. The error is not detected in an
instantiation of pak1, either.
--
Summary: Illegal program accepted, RM 10.2.1(15.6/2), access type
in pure generic package
Product: gcc
Version: 4.3.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: ludovic at ludovic-brenta dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40929
