gcc-4.9/gcc/testsuite/gnat.dg/in_mod_conv.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

-- { dg-do compile }

procedure in_mod_conv is
   package Test is 
     type T  is new Natural range 1..6;
     subtype T_SubType is T range 3..5;
     type A1 is array (T range <>) of boolean;
     type A2 is new A1 (T_SubType);
     PRAGMA pack (A2);
     type New_A2 is new A2; 
  end Test;
  package body Test is 
     procedure P1 (Obj : in New_A2) is
     begin   
        null;   
     end P1; 
     procedure P2 (Data : in out A2) is
     begin   
        P1 (New_A2 (Data (T_SubType)));  -- test 
     end P2; 
  end Test;
begin   
   null;   
end;