2 -- { dg-options "-gnato" }
4 procedure Dynamic_Bound is
6 procedure Define (Count : Integer) is
8 type Count_T is new Integer range 0 .. Count * 1000;
14 type T is access Obj_T ;
16 procedure Create (S : in out T) is
18 S := new Obj_T'(Count => 0);
21 procedure Add (To : in out T) is
23 To.Count := To.Count + 1;