gcc/testsuite/gnat.dg/aggr16.adb

   1 -- { dg-do compile }
   2
   3 with Aggr16_Pkg; use Aggr16_Pkg;
   4
   5 package body Aggr16 is
   6
   7   type Arr is array (1 .. 4) of Time;
   8
   9   type Change_Type is (One, Two, Three);
  10
  11   type Change (D : Change_Type) is record
  12     case D is
  13       when Three =>
  14         A : Arr;
  15       when Others =>
  16         B : Boolean;
  17     end case;
  18   end record;
  19
  20   procedure Proc is
  21     C : Change (Three);
  22   begin
  23     C.A := (others => Null_Time);
  24   end;
  25
  26 end Aggr16;