Debian bug #278831:
package Test_128 is
package inner is
private
type T1;
type T2 is null record;
end inner;
type T1_ptr is access inner.T1; -- line 9 ERROR: gnat mistakenly accepts
type T2_ptr is access inner.T2; -- line 10 ERROR: gnat correctly rejects
end Test_128;
The output from the compiler is:
test_128.ads:10:31: "T2" is not a visible entity of "inner"
gnatmake: "test_128.ads" compilation error
As can be seen, the error at line 9 is not diagnosed.
--
Summary: Illegal program not detected, access to invisible type
RM 8.2(9)
Product: gcc
Version: 3.4.2
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: ludovic dot brenta at insalien dot org
CC: gcc-bugs at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18221
