gcc/testsuite/gnat.dg/discr53.ads


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

with Discr53_Pkg;

package Discr53 is

   type Rec (D : Boolean := False) is record
      case D is
         when True  => S : String (1 .. Discr53_Pkg.Max);
         when False => null;
      end case;
   end record;

   function F return Rec;

   procedure Proc;

end Discr53;