This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/18221] Illegal program not detected, access to invisible type RM 8.2(9)
- From: "nicolas.boulenguez at free dot fr" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Wed, 31 Aug 2011 13:07:28 +0000
- Subject: [Bug ada/18221] Illegal program not detected, access to invisible type RM 8.2(9)
- Auto-submitted: auto-generated
- References: <bug-18221-4@http.gcc.gnu.org/bugzilla/>
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18221
nicolas.boulenguez at free dot fr changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |nicolas.boulenguez at free
| |dot fr
--- Comment #3 from nicolas.boulenguez at free dot fr 2011-08-31 13:07:28 UTC ---
Found 4.6.1.
I suggest to provide a body, so that there is no other illegality.
package Test_128 is
package inner is
private
type T1;
end inner;
type T1_ptr is access inner.T1; -- line 9 ERROR: gnat mistakenly accepts
end Test_128;
package body test_128 is
package body inner is
type T1 is new Integer;
end inner;
end Test_128;