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

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

[ludovic dot brenta at insalien dot org]

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

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

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-10-29 17:05 -------
Confirmed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |accepts-invalid
      Known to fail|                            |4.0.0
   Last reconfirmed|0000-00-00 00:00:00         |2004-10-29 17:05:02
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18221

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

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-10-30 00:46 -------
*** Bug 18227 has been marked as a duplicate of this bug. ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bauhaus at futureapps dot de


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18221

[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;

[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

--- Comment #4 from nicolas.boulenguez at free dot fr ---
Found in 4.9-20140218