gcc/testsuite/gnat.dg/discr43.adb

   1 -- { dg-do compile }
   2
   3 with Text_IO; use Text_IO;
   4
   5 procedure Discr43 is
   6
   7   type Arr is array (Short_Integer range <>) of Boolean;
   8
   9   type Rec (LB : Short_Integer; UB : Short_Integer) is record
  10     A : Arr (LB .. UB);
  11   end record;
  12
  13 begin
  14   Put_Line ("Arr'Max_Size =" & Arr'Max_Size_In_Storage_Elements'Img);
  15   Put_Line ("Rec'Max_Size =" & Rec'Max_Size_In_Storage_Elements'Img);
  16 end;