gcc/testsuite/gnat.dg/aggr19.adb

   1 -- { dg-do run }
   2
   3 with Aggr19_Pkg; use Aggr19_Pkg;
   4
   5 procedure Aggr19 is
   6   C : Rec5
   7     := (Ent => (Kind => Two, Node => (L => (D => True, Pos => 1 )), I => 0));
   8   A : Rec5 := C;
   9 begin
  10   Proc (A);
  11   if A /= C then
  12     raise Program_Error;
  13   end if;
  14 end;