gcc/testsuite/gnat.dg/sizetype4.adb

   1 -- { dg-do run }
   2
   3 procedure Sizetype4 is
   4
   5    type Float_Array is array (Integer range <>) of Float;
   6    NoFloats : Float_Array (1 .. 0);
   7
   8    procedure Q (Results : Float_Array := NoFloats) is
   9
  10       type Reply_Msg is
  11          record
  12             Request_Id : Integer;
  13             Status     : Integer;
  14             Data       : Float_Array (Results'Range);
  15          end record;
  16
  17    begin
  18       if Reply_Msg'Size /= 64 then
  19         raise Program_Error;
  20       end if;
  21    end;
  22
  23 begin
  24    Q;
  25 end;