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

[ebotcazou at gcc dot gnu.org]

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

Eric Botcazou  changed:

   What|Removed |Added

 CC||ebotcazou at gcc dot gnu.org
   Severity|normal  |minor

--- Comment #5 from Eric Botcazou  ---
The error is still missing.

[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

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

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