[Bug ada/18221] Illegal program not detected, access to invisible type RM 8.2(9)

[nicolas.boulenguez at free dot fr]

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;