gcc/testsuite/gnat.dg/discr42.adb

   1 -- { dg-do run }
   2
   3 with Discr42_Pkg; use Discr42_Pkg;
   4
   5 procedure Discr42 is
   6
   7   R : Rec;
   8   Pos : Natural := 1;
   9
  10 begin
  11
  12   R := F (Pos);
  13
  14   if Pos /= 2 then
  15     raise Program_Error;
  16   end if;
  17
  18   if R /= (D => True, N => 4) then
  19     raise Program_Error;
  20   end if;
  21
  22 end;