gcc/testsuite/gnat.dg/discr34_pkg.ads

   1 package Discr34_Pkg is
   2
   3    function N return Natural;
   4
   5    type Enum is (One, Two);
   6
   7    type Rec (D : Enum := One) is record
   8       case D is
   9          when One => S : String (1 .. N);
  10          when Two => null;
  11       end case;
  12    end record;
  13
  14    function F return Rec;
  15
  16 end Discr34_Pkg;