gcc/testsuite/gnat.dg/aggr11.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O" }
   3
   4 with Aggr11_Pkg; use Aggr11_Pkg;
   5
   6 procedure Aggr11 is
   7
   8   A : Arr := ((1 => (Kind  => No_Error, B => True),
   9                2 => (Kind => Error),
  10                3 => (Kind => Error),
  11                4 => (Kind  => No_Error, B => True),
  12                5 => (Kind  => No_Error, B => True),
  13                6 => (Kind  => No_Error, B => True)));
  14
  15 begin
  16    null;
  17 end;