gcc-4.9/gcc/testsuite/gnat.dg/test_bounded.adb


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

-- { dg-do run }
-- { dg-options "-gnatws" }

procedure Test_Bounded is
   type Bounded (Length : Natural := 0) is
      record
         S : String (1..Length);
      end record;
   type Ref is access all Bounded;
   X : Ref := new Bounded;
begin
   null;
end Test_Bounded;