1procedure Rep_Clause7 is
2
3   subtype Msg is String (1 .. 3);
4
5   type Root is tagged record
6     B : Boolean;
7     M : Msg;
8   end record;
9   for Root use record
10     B at 0 range 64 .. 64;
11     M at 0 range 65 .. 88;
12   end record;
13
14   type Ext is new Root with null record;
15
16   procedure Inner (T : Msg) is
17   begin
18      null;
19   end;
20
21   pragma Warnings (Off);
22   T1 : Root;
23   T2 : Ext;
24   pragma Warnings (On);
25
26begin
27   Inner (T1.M);
28   Inner (T2.M);
29end;
30