gcc-4.9/gcc/testsuite/gnat.dg/discr34_pkg.ads


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

package Discr34_Pkg is

   function N return Natural;

   type Enum is (One, Two);

   type Rec (D : Enum := One) is record
      case D is
	 when One => S : String (1 .. N);
	 when Two => null;
      end case;
   end record;

   function F return Rec;

end Discr34_Pkg;