gcc/testsuite/gnat.dg/discr48_pkg.ads

   1 with Ada.Finalization;
   2
   3 package Discr48_Pkg is
   4
   5    type XString is new Ada.Finalization.Controlled with record
   6       B : Boolean;
   7    end record;
   8
   9    Null_XString : constant XString := (Ada.Finalization.Controlled with B => False);
  10
  11    type XString_Array is array (Natural range <>) of XString;
  12
  13    type Rec (Count : Positive) is record
  14       Seps : XString_Array (2 .. Count);
  15    end record;
  16
  17    type Rec_Access is access all Rec;
  18
  19 end Discr48_Pkg;