gcc/testsuite/gnat.dg/opt62_pkg.ads

   1 package Opt62_Pkg is
   2
   3    Default_String : constant String := "This is a default string";
   4
   5    subtype Length is Natural range 0..255;
   6
   7    type Root (D1 : Length) is tagged  record
   8       S1  : String(1..D1) := Default_String(1..D1);
   9    end record;
  10
  11    type Unconstrained_Der is new Root with  record
  12       Str1 : String(1..5) := "abcde";
  13    end record;
  14
  15    type Der (D2 : Length) is new Unconstrained_Der (D1 => 10) with record
  16       S2 : String(1..D2);
  17    end record;
  18
  19 end Opt62_Pkg;