gcc/testsuite/gnat.dg/rep_clause7.adb

   1 procedure 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
  26 begin
  27    Inner (T1.M);
  28    Inner (T2.M);
  29 end;