gcc/testsuite/gnat.dg/array39.adb

   1 -- { dg-do run }
   2
   3 with Array39_Pkg; use Array39_Pkg;
   4
   5 procedure Array39 is
   6   T : Tsk;
   7   R : Rec2;
   8 begin
   9   T.E (R, 1);
  10   if R.A (1) /= Val then
  11     raise Program_Error;
  12   end if;
  13 end;