gcc/testsuite/gnat.dg/max_size.adb

   1 -- { dg-do run }
   2
   3 with Max_Size_Pkg; use Max_Size_Pkg;
   4
   5 procedure Max_Size is
   6 begin
   7   if Arr1'Max_Size_In_Storage_Elements /= 7 then
   8     raise Program_Error;
   9   end if;
  10   if Arr2'Max_Size_In_Storage_Elements /= 24 then
  11     raise Program_Error;
  12   end if;
  13 end;