gcc/testsuite/gnat.dg/test_bounded.adb

   1 -- { dg-do run }
   2 -- { dg-options "-gnatws" }
   3
   4 procedure Test_Bounded is
   5    type Bounded (Length : Natural := 0) is
   6       record
   7          S : String (1..Length);
   8       end record;
   9    type Ref is access all Bounded;
  10    X : Ref := new Bounded;
  11 begin
  12    null;
  13 end Test_Bounded;