[Bug ada/15807] New: Legal program runs incorrectly, RM 3.10.2(3,29)

[Bug ada/15807] New: Legal program runs incorrectly, RM 3.10.2(3,29)

[ludovic dot brenta at insalien dot org]

(Debian bug #246390)

-- RM 3.10.2(3)
-- The accessibililty rules, which prevent dangling references, are written
-- in terms of accessibility levels,...
-- RM 3.10.2(29)
-- A check is made that the accessibility level of X is not deeper than
-- that of the access type A.  If this check fails, Program_Error is
-- raised.

with Text_IO;  use Text_IO;
procedure Test_246390 is
   type T1 is tagged null record;
   type T2 is new T1 with record
       A : aliased T1;
   end record;

   type T1_Access is access all T1'Class;
   X : T1_Access;

   procedure Test_Access (Param: access T2) is
   begin
      X := Param.A'Access;
   end Test_Access;

   procedure Inner_Proc is
      Inner : aliased T2;
   begin
--    X := Inner.A'access;          -- this case caught at compile time
      Test_Access (Inner'access);   -- equivalent run-time case not caught
      Put_Line ("failed: program_error not raised");
   exception
      when Program_Error =>
         Put_Line("passed");
      when others =>
         Put_Line ("failed: other exception raised");
   end;

begin
   Inner_Proc;
end Test_246390;




The program should print "passed", but it prints:
failed: program_error not raised

-- 
           Summary: Legal program runs incorrectly, RM 3.10.2(3,29)
           Product: gcc
           Version: 3.4.0
            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=15807

[Bug ada/15807] Legal program runs incorrectly, RM 3.10.2(3,29)

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |wrong-code


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

[Bug ada/15807] Legal program runs incorrectly, RM 3.10.2(3,29)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-11-24 20:37 -------
Confirmed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2004-11-24 20:37:48
               date|                            |


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

[Bug ada/15807] Legal program runs incorrectly, RM 3.10.2(3,29)

[sam at gcc dot gnu dot org]

------- Comment #3 from sam at gcc dot gnu dot org  2008-08-17 10:56 -------
This appears to have been fixed in SVN trunk.


-- 

sam at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.4.0


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

[Bug ada/15807] Legal program runs incorrectly, RM 3.10.2(3,29)

[sam at gcc dot gnu dot org]

------- Comment #2 from sam at gcc dot gnu dot org  2007-12-13 14:03 -------
Confirmed on 4.3.0 20071213


-- 

sam at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2005-06-14 20:42:58         |2007-12-13 14:03:06
               date|                            |


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