gcc/testsuite/gnat.dg/itypes.adb

   1 --  { dg-do compile }
   2
   3 package body itypes is
   4    Size : constant := 10;
   5    type Arr is array (1 .. size) of Integer;
   6
   7    type Rec is record
   8       Field1 : Arr := (others => 0);
   9       Field2 : Arr := (others => 0);
  10       Field3 : Arr := (others => 0);
  11       Field4 : Arr := (others => 0);
  12       Field5 : Arr := (others => 0);
  13       Field6 : Arr := (others => 0);
  14       Field7 : Arr := (others => 0);
  15    end record;
  16
  17    procedure Proc is
  18       Temp1 : Rec;
  19    begin
  20       null;
  21    end;
  22 end;